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 SonarQube URLs and therefore
on the badges displayed on the website home page.