travis: use new OPAM syntax

Signed-off-by: John Else <john.else@citrix.com>
travis: don't install crc, just pin it

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