libvb/Polynomial: one less include
tools/graph: color local headers in the output
tools/prof.py: poor-man's profiler (proof of concept)
tools/prof.py: poor-man's profiler, better filtered and sorted output