Make sure the travis script works on GHC 7.4 and earlier
Don't rely on constraint kinds for the docs