Add profiling and tracing page

BTW, the syntax highlighting isn't great (e.g. for the log output and shell commands). I'm not sure how to turn it off though.