Make http-server.c output into good html5