[Python-ideas] timeit improvement idea: add an option to measure a script execution time