Updated Orekit version for the release.

4 jobs for 11.1.2 in 13 minutes and 51 seconds (queued for 1 second)
latest