travis: use OPAM 1.2.0 and pinning

Signed-off-by: John Else <john.else@citrix.com>