Execution timer in Python for any executable application.