Remove Java RTS build in favor of the version hosted on Maven Central
Remove java rts from idris.cabal
Allow names to be attached to provisional definitions
lhs ?= {name} rhs -- generates a lemma called 'name' which makes the
types of the lhs and rhs match. {name} is optional - a unique name is
generated if it is absent.
Merge branch 'master' of github.com:edwinb/Idris-dev
Merge pull request #400 from JanBessai/JavaRTSOnMavenCentral

Remove Java RTS build in favor of the version hosted on Maven Central
Fix type class index propagation bug
...which lead to implicit arguments not being spotted.
Fixes #402
Small coverage checker fix
Need to generate possible cases by looking at the patterns, not by
looking at the function type alone. Of course, this is what it was
trying to do, but there was a mistake...
Fixes #397
Change default Num typeclass to integer
Fixes #391
Fix LLVM codegen integer interconversion and integer <-> character primitives
Special case for displaying Type : Type 1
...because people get the wrong impression about universes otherwise!
Merge pull request #404 from Ralith/llvm-fixes

Fix LLVM codegen integer interconversion and integer <-> character primitives