Merge branch 'master' into gitlab-ci

.gitlab-ci.yml

README.md

_config.yml

_data/orekit/versions.yml

_data/rugged/versions.yml

_data/stavor/versions.yml

bin/links.sh

community.html

doc-javadoc.html

doc-maven.html

doc-tutorials.html

download.html

rugged/community.html

rugged/doc-javadoc.html

rugged/doc-maven.html

rugged/doc-tutorials.html

rugged/download.html