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.

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.

Add ISSFD 2024 publication

See merge request !16

Fixes #22

Fixes #18