coverity.bat: Use VS2012.
sign.bat: Use VS2012.
player.html: remove width completely.

It's handled in JS.
Enable per-monitor DPI-aware on Windows 8.1.

Fixes #3356.
temp