adding a cmake 'doc' target
added make doc_pdf