Temp logfile

This PR moves the log file from $WORKSPACE to a random temp. file and fixes some formatting issues.