Try harder to install coq on travis