Fix a bug in qsort

Try `qsort [3,3]`. Under the old code, you'd get `[3,3,3]` out.
Merge pull request #1406 from jthemphill/fix-qsort

Fix a bug in qsort
Add for and for_
Using ASTUtils instead of writing things out the long way
Merge pull request #1409 from Melvar/for

Add for and for_
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 “<==”
Merge branch 'master' into repl-definitions
Supporting some more declaration types.

They're still not all ready though. Syntax, infix, and instance
declarations still don't work.