janestreet / magic-trace magic-trace collects and displays high-resolution traces of what a process is doing performance-tools profiling debugging