Build the documentation using Doxygen on the CI

It would be nice to add a CI stage building the documentation, in doxygen.

Once done, we could host that as pages.

One would need to check that the docker has a Doxygen binary.

added CI buildsystem feature labels

See !936 (merged) first.

closed via merge request !937 (merged)

changed milestone to %0.7.0