Custom log file

Make a custom log file configurable as described in issue #510