Improve the documentation build process

[jaycedowell]

We should:

• beef up the documentation tools detection in configure
• look at adding a "docs" option to the top level Makefile
• other things mentioned here

These should go into #233.