[Python-ideas] Python logging with a custom clock