Reworked config and options interactions

Config file can now be specified from the commandline.
Still TODO: allow config file to be relative or absolute,
not just in the "config_dir" directory.