Use sphinxcontrib-doxylink to link user manual to API docs
Cross-link Sphinx docs to Doxygen docs
Correct typo
Merge branch 'issue_1068-2' into integration