Add profiling support.
Update format-benchmark.
Find Google profiler.