This reverts commit eab86b72c41af89d170709595ac8271c248b1aaa.
These are tools and data used for the CI system. Some of what is here may also be useful for local testing.