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".