Add support for boost timers to instrrumentation.