Fixes #11: add the ability to specify a logging configuration file