Adding untested rudimentary file log
Allowing logging of cryptominisat calls to a file