Enable generation of documentation for Hoogle

Hi,
This patch adds generation of `.txt` files for hoogle. This simplifies generation of local hoogle databases for those who use it.