src/httpserver.py: use HTML5.

This changes web server index to valid HTML5.