Fix unavailability checking on opam 1.1.1. Fix #3021.
Merge pull request #3023 from dsheets/opam-1.1-availability-travis

Fix unavailability checking on opam 1.1.1. Fix #3021.