void set_config_file(string configfile)
specifies a configuration file to be used, which will be loaded and parsed.