Try to get travis to install cvc4 [4]