Add command-line option to specify the config file.