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