Keep reference of which fork runs which module

Event knows which module the process is, logging does not need to pass
this any more.
Output SMT command traces to files
Merge pull request #92 from chsticksel/develop

Log output and SMT command traces