Simplify html/ installation
Makefile adjustments for include
Configure.ac: Add include/Makefile
Use proper configure.ac name and html-install

The HTML-stuff now passes make distcheck.

wohoo.