travis-ci: get cvc4 from one day ago.