[release] version bump to 13.1 rc1
Merge pull request #4742 from MartijnKaijser/13.1rc1

13.1rc1
Merge Gotham 13.1 RC1 changes into Gotham