travis: Fix the path to coq