logging options

[hbarnard]

At present logging goes into a text file. This is not multiprocess and, also, logs will probably be a useful experimental tool. So convert to https://gitlab.com/tspens/dblogging which is a substantial change but not a risky one.