travis ci: install the vet tool