Command line timer in Python