The files in this directory are used for CI testing.  ci/install installs
the prerequisite packages, and ci/test runs the tests.