whitespace
whitespace
whitespace
[travis] opam.ocamlpro.org appears broken, so change it