Enabling configuration using a properties file.

For the moment, config file needs to be given as a command-line
argument.