Docs: profiling PyOP2 applications
Docs: using PyOP2's internal timers
Docs: line-by-line profiling
Docs: memory profiling