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