generate PDF documentation when selected, when FOP and docbook are available (tested doxygen-1.8.7++, docbook-1.78.1, fop-1.1)