Merge branch 'develop' of https://gitlab.orekit.org/orekit/rugged into develop

.CI/README

.CI/maven-settings.xml

.gitlab-ci.yml

BUILDING.txt

Jenkinsfile

NOTICE.txt

README.txt

Readme.md

checkstyle.xml

pom.xml

spotbugs-exclude-filter.xml

src/changes/changes.xml

src/design/dem-loading-class-diagram.puml

src/design/direct-location-class-diagram.puml

src/design/direct-location-sequence-diagram.puml

src/design/duvenhage-inner-recursion-activity-diagram.puml

src/design/duvenhage-top-loop-activity-diagram.puml

src/design/initialization-class-diagram.puml

src/design/initialization-sequence-diagram.puml

src/design/inverse-location-sequence-diagram.puml