player.html: remove width completely.

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

Fixes #3356.
Losslessly compress res/web/img.
temp
Add a Doxyfile to generate source doc.

WIP
Whitespace cosmetics.

Remove unneeded spaces and reindent comments in some cases to improve readability.