Don't use validate on Travis CI

Coq 8.3 doesn't have this target