[release] version bump to 13.0 alpha9 as we start new merge window.
Merge pull request #3341 from MartijnKaijser/a9

[release] version bump to 13.0 alpha9 as we start new merge window.