List packages in Travis
Put an upper bound on Trifecta
Make Idris build with the latest hackage

This makes Idris work with parsers >= 0.12 and trifecta >=1.4.3.
Merge pull request #1417 from david-christiansen/travis-list-packages

List packages in Travis and fix compilation against latest Hackage