time
Time the execution of a script