Added infrastructure to have cmake-based builds automatically generate PDF documentation when using Doxygen.