Travis: Since the Forge is down, switch to the OPAM mirror in test