Move configuration to a non-Python config file, specified on the commandline

As discussed in pull request 100.