Implementation of time.monotonic() for Python
