TravisCI: Update script for changed Opam CLI

Change-Id: I8b6932734509e989b5b567e804dafa2ed500933b