Use llvm-3.3 from a PPA now that llvm.org is no longer providing it
Properly factor cabal workflow
Skip confirmation prompt
Fix installation of LLVM codegen's RTS to incorrect path

Breakage introduced by c7cf1f0f
Test LLVM codegen on travis to reduce future breakage
Keep track of prototyped foreign symbols across definitions
Print failed pattern match error messages to stderr
Verify that foreign symbols declared in multiple places have a consistent signature
Add Show () instance
Add a 'compute' before elaboration to expand type synonyms etc

Useful for giving unification a hint when inferring types of lambda,
case expressions, etc
Some Eff experimentation, adding a 'test' command

For allowing effects which might fail, and testing results. Still no
nice syntactic sugar for it though.
Merge branch 'master' of github.com:edwinb/Idris-dev
Merge pull request #521 from raichoo/master

javascript
Merge pull request #522 from Ralith/fix-travis

Fix travis
Merge pull request #523 from Ralith/fix-llvm-install

LLVM-related fixes
Merge pull request #525 from reynir/master

Add Show () instance
javascript: substitute projections