Reworked documentation generation and installation.
Details:
- Remove configure flag used to disable the automatic generation of the
documentation when istalling.
- Now 'make html' generates the documentation.
- Now 'make install' does not install the documentation, 'make install-html'
does that. The latter two changes follow newer automake conventions.
- This also fixes the bug that caused the documentation missing from the
tarball.

 EXTRA_DIST += \

 	tools/Makefile

 if WANT_TOOLS

 bin_PROGRAMS +=

 endif WANT_TOOLS