Improve the monotonic time documentation in compat_time.c
We discovered in legacy/trac#29500 that the monotonic time documentation is incomplete. Here are some improvements we could make: * define "monotonic" as "strictly non-decreasing, delta t >= 0" * explain when 0 time deltas are more likely: * when measuring units larger than nanoseconds (due to truncation on division) * on platforms with low resolution timers (because two time calls can happen faster than the resolution of the timer) * on Windows, where the time is not always monotonic, due to an OS bug * on platforms without specialised monotonic functions, during a wall clock time change * explain what happens when the timers overflow? Based on: ​https://gitweb.torproject.org/tor.git/tree/src/lib/time/compat_time.c#n175 https://trac.torproject.org/projects/tor/ticket/29500#comment:11
issue