Use monotonic_deadline_timer instead of deadline_timer for our timer implementation
Merge pull request #264 from ashoksr/master

Use monotonic_deadline_timer instead of deadline_timer for our timer imp...