Try to get travis to install cvc4 [5]