Use modern HTML5 and strict JS

This would mean adding <!DOCTYPE html> in the HTML and "use strict"; in the JS, and following modern best practices (e.g. use const and let instead of var).

Note that just adding a DOCTYPE breaks our layout, since it currently depends on "quirks mode".