Remove height=device-height from the default index.html.

Mysteriously fixes #166. Fixes #169.
haxelib.xml → haxedoc.xml.
Release 3.1.2