[boost] Proposed boost timers library.