Add mini-profiler library.