README.md: fix coverage badge

See merge request !18

Orekit 12.1.2

See merge request !14

Fix coverage in CI pipeline

See merge request !15

Bring back Orekit 12.1

See merge request !17

This reverts commit b2fd26ad, reversing
changes made to 975a642c.

Also provide Orekit 12.0 on PyPi

See merge request !16

This reverts commit a152ff53, reversing
changes made to ac94c224.

Adding yzokras as maintainer.

See merge request !13

change all occurrences of old gitlab repo URL

See merge request !12

Upgrade to Orekit 12.1.1, Hipparchus 3.1, Rugged 4.0-SNAPSHOT

See merge request !11

Caution, they are generated by a modified jpype version which fixes the parsing of HTML files from Javadoc 17, but it is not merged yet: https://github.com/jpype-project/jpype/pull/1200

To track Orekit java version 12.1.1

make setup_orekit_data more robust

Closes #1

See merge request Petrush/orekit_jpype!10

Minor improvements for release process

See merge request Petrush/orekit_jpype!9

and add Python 3.12 compat explicitly

- use official Python Debian docker images instead of custom images
- jdk4py is now used instead of installing openjdk on linux
- A matrix of several Python versions (3.9 to 3.12) is used for testing
- add build stage which tries building the python wheel (available for one day as an artifact)
- add flake8 step in test stage to lint the code and produce a code quality report (available as an artifact)
- the test step now also computes the test coverage (available as an artifact)