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