Update Travis support to test 4.02.0 + OPAM 1.1.0