Record in the eventlog when the given tool command starts and
finishes, prepending the given 
String with "systool:", to
easily be able to collect and process all the systool events.
For those events to show up in the eventlog, you need to run GHC with
-v2 or 
-ddump-timings.