Wholly unimportant cleanup in metrics.js
Use performance.now() to make inspector metrics more precise
Merge pull request #845 from tschneidereit/master

Improve metrics precision