WIP: include uploading doc to yade-dem.org CI

bchareyrerequested to merge
uploaddoc into master

If this works we can switch back to yade-dem.org for the html. Do we want to also keep gitlab-io pages as a fallback mirror?

Edited by bchareyre

Merge request reports