Break Main into RegularTests1 and RegularTests2 so that it can be built in travis.