travis: test 4.02 with opam 1.2 by default

Signed-off-by: David Scott <dave.scott@citrix.com>