Update CI of Rugged

CI of Orekit has evolved recently so it could be interested to update Rugged to use the same CI mechanism.

• convert Jenkinsfile as .gitlab-ci.yaml
• create dedicated token on packages.orekit.org to let the CI push versions
• add CI related maven settings