Move gengetopt input files to m4 directory. This separates the gengetopt input directory from its output directory. All gengetopt m4 file are moved to the new m4/gengetopt directory. As a consequence of this cleanup, we may get rid of the .gitignore file for the generated ggo files, which is a good thing as it was hard to keep it up to date.
gui: Help text improvements. - Fix default config file name - Reformat ggo file - Add detailed help fpr --stat_cmd - Move description of key_map to --detailed-help output.
gui: Allow selecting a startup theme. This implements the --theme option which allows to start para_gui with a theme different than the default theme.
[gui]: Use the new -p option for the default stat command.
Use symbolic names for loglevels and clean up the ggo mess. We now use m4 to generate the ggo files, which allows to get rid of a lot of duplicated command line options and improves the readability of the man pages.