Make html

This is an alternate to #180.  It still adds a dependency on `dh-autoreconf`, which I can be persuaded to remove.  Instead of using `coq_makefile`, this simply adapts the `html` target and the `TIMED=1` option.