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

Improve metrics precision
Merge swf/util.js into flash/util.js and update all references
Rename avm2/util.js to avm2/avm2Util.js and update references
Merge pull request #847 from tschneidereit/master

Clean up our util.js situation
Fixes #819

Bitmap bounds were not invalidated after setting bitmapData
Merge pull request #851 from claus/mush_regression

Fixes #819 (Regression: Mushroomer is missing level backgrounds)