[Python-Dev] Python logging with a custom clock