Add Uninhabited instance for Any p []

This lets users use `absurd` to discharge proof obligations about Any.
rename writeLine to writeString, add writeLine
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 “<==”
Add Functor Monad and Applicative id instances
Merge pull request #1422 from fread2281/master

Add Functor Monad and Applicative id instances
Removed unnecessary backtracking in REPL command parsing making errors
harder to understand
Fixed wrong handling of whitespace between commands and arguments
Merge pull request #1424 from ahmadsalim/improvement/replcommandsbacktracking

Fixes backtracking in parser of REPL command
Add tactics "skip" and "fail"

"skip" does nothing, while "fail" produces an error. They have
corresponding reflected versions Skip and Fail. Fail has access to the
pretty printer by taking a List ErrorReportPart as its argument.
Merge pull request #1425 from david-christiansen/fail-skip-tactics

Add tactics "skip" and "fail"
Add 'doc' and 'doc_clean' make targets for Effects lib
Reinsert check for constructor/family mismatch.

It appears that the code to do this was accidentally deleted at some
point. It is now called again.

Fixes #1434.
Merge pull request #1435 from david-christiansen/issue/1434

Reinsert check for constructor/family mismatch.
Update reflection code to current core language.

Fixes #796.