Make PDF Doc generation optional

- PDF documentation generation is now optional. Enable via
  ENABLE_PDF_DOCS=On
Merge pull request #203 from justfalter/optional_pdfs

Make PDF Doc generation optional (disabled by default)