Orekit 12.2

Upgrade to Orekit 12.2.

Note: I am still using jpype from source to generate the stubs, but now from the master branch of the repo: my MR has been merged, but no new release was released to PyPi (https://github.com/jpype-project/jpype/pull/1200)