travis: use the opam-repository url directly to avoid the delay of the website sync