Make PDF Doc generation optional (disabled by default)

- PDF documentation generation is now optional. Enable via
  ENABLE_PDF_DOCS=On

Fixes #165