Avoid duplication of command line option settings across CCured/CIL.
Log command line args in verbose mode.  This is useful in the common case when ccured is used via the driver/wrapper Perl script.
Clarify script help message on specifying command-line option arguments.