Trim whitespace around script
Put the right execution times
Replace execution line by request number
Capitalize OVERALL EXECUTION TIME
Merge pull request #620 from agouge/sql-output

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