command_line_options.*: added dump() function to print command line options (quoting any arguments containing special characters)
Merge branch 'master' of https://github.com/acfr/comma