Try to get travis to install cvc4