configure could use some extra tools

[flip111]

I noticed these messages during configure:

HsColour was not found; documentation will not contain source links
Tools to build Sphinx PDF documentation available: NO

[code5hot]

hscolour is added in pull request #17