Add sphinx to CI
It also adds a new continuous build that builds the doxygen page and sphinx user guide in every merge-request.
Edited by Vicente Bolea
It also adds a new continuous build that builds the doxygen page and sphinx user guide in every merge-request.