Gallio infrastructure projects for hosting the build server.