Yet another precision timer for Python