Retire distributions repo in favor of something more suitable

Hi all, the distributions repo[1] is huge (current ~ 26GiB), and it will grow further over time; that causes issues when trying to check it out[2], and frankly, I don't see why were having the tarballs in a VCS at all. Wouldn't it be more suitable to make the tarballs available somewhere else? Since we're using Github anyway, an appropriate place could be the tags, where it is already possible to add attachments. From what I can tell, that would require some modifications to web-php and web-qa, so that the proper download links would be available there, but otherwise shouldn't be a big issue. Thoughts? Christoph [1] <https://github.com/php/web-php-distributions> [2] <https://github.com/php/web-php/commit/78298f759b19a58b12ea20dde4f6be5b15a96ba2#commitcomment-50062830>