Timing in Python: profiling

Short comments on different tools to use for profiling the execution time of Python programs