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