Added a `doxygen` option to the `doc` build. It makes use of the already-present but unused file `doxygen.conf.in`.