[boost] [date_time] monotonic_time() proposal