Travis: make cabal commands more robust
Travis: make cabal commands more robust

* Create a single install plan (instead of many, possibly incoherent
  ones).
* Use --constraint to force the choice; apparently, preferences can be
  ignored, constraints can't.

inc-lc/ilc-agda