[release] version bump to 13.1 final
Merge pull request #4793 from MartijnKaijser/13.1

13.1
Merge tag '13.1-Gotham' into 13.1-Gotham-pivos