htdocs: Fix escaping of html characters in /devinfo.
htdocs/demo/report/index.php: add "Archive" link in navbar.
htdocs: move inline JS to a separate file.
htdocs/archive/index.php: switch to XHTML 1.1.
htdocs: Fix XHTML validation errors.