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.