Adjusting the name of Orekit's stable branch

This weekend, we decided to rename the master branch of Orekit's Git
repository en main. This has an impact on some URLs and a script that
must be updated.