Bump the minor number accordingly and update the documentation. A plugin must check the sudo front end's version before using the plugin_args parameter since it is only supported for API version 1.2 and higher.
behavior can now be modified at run time with a line in sudo.conf like "Set disable_coredumps false"
functions into the common lib so that visudo, etc. can use them.