Command line option to specify an alternative configuration file

Fixes issue #40