Doxygen doc generation is added to the Jenkins build.

Generates docs in ./install/doc/