Refactorization part 6: remove 4 out of 5 HTML files

Turn them into JSPs instead.
Refactorization part 7: factorize (most of) HTML's <head>