travis: get unstable CVC4.