GitLab

[doc] haddock vendoring and readthedocs.io automatic upload.

The `master` branch documentation is now automatically updloaded
to readthedocs.io, including haddocks for the shared library.