Also provide Orekit 12.0 on PyPi

After merging:

• Upload to PyPi (hopefully PyPi allows publishing an older version of the orekit-jpype package)
• Tag the post-merge commit of the main branch with 12.0.2.0
• Prepare a new MR which reverts this MR to bring back the main branch to Orekit 12.1 :)

assigned to @Petrush

changed the description

merged

mentioned in commit b2fd26ad

Bullet 1 & 2 performed.

mentioned in merge request !17 (merged)

Orekit 12.0.2 on PyPi works great, thanks!