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