Add Uninhabited instance for Any p []

This lets users use `absurd` to discharge proof obligations about Any.
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
Merge pull request #1413 from david-christiansen/master

Add Uninhabited instance for Any p []
Allows parsing operators that start with “<==”

Fixes #1321
Merge pull request #1421 from Melvar/fix-matchapp-op

Allows parsing operators that start with “<==”