Proposal to release Orekit 13.1.1

It seems that branch deletion on mirror repositories is not working. I found several topics opened on GitLab forum about this. So I have just manually deleted a large number of obsolete branches.