Also install devfiles of Coq on Travis

We need compat5.cmo for dpdgraphs.