Two-stage compiler instrumentation

Write binary trace while running a user-submitted code. Convert the binary to JSON as a separate step.

Rationale: less invasive (current solution skews profiling data), traces still displayed if the task is killed due to timeout.