Trim whitespace around script

* Git rid of unnecessary whitespace
* Always display execution times
* Replace (inaccurate) execution line by request number
* Other formatting