Don't allow 7.0, not supported anymore
Change the .ghci requirement
Abstract out checkGhci
#6, check the .travis.yml file