Separate Core NFData instances
Shortcut unification updates

Don't traverse the term if there's nothing to update!
Performance improvement: name supply

Use a name supply instead of checking for uniqueness of names when
creating holes. Huge speed improvements on large definitions!
Shrink IBCs dramatically

By erasing types, and inlined definitions which are only used for
totality checking so really don't need storing.
Display errors properly on IBC load failure
Resolve name hints before adding to .ibc
Another small reduction in calls to TT.(==)
Shave a bit more off IBC size
Some IBC compression

Both internally (storing names as references to a symbol table) and
externally (using zlib). Not sure this has any real effect other than
saving disk space, but that's not a bad thing!
Command line option improvements.

+ Added new flag `--checkpkg <package>` to type check only packages.
   + executables are not linked
+ Improved usage info styling
+ Added unmentioned flags added
Fix memory leak

It turns out that having H.catch around too large a block means that
state is retained. In particular, having the catch around a recursive
application of the REPL means that all previous states get retained! So,
be careful to scope catch blocks around the smallest possible block.
Minor memory usage improvements

* Don't store internal definitions if we're not starting a REPL, since
  they won't be used for interactive editing
* Use a strict map instead
* Clear original pattern definitions since they are only used for
  termination/coverage checking
Use Data.Text for variable names

An experiment: it appears to reduce memory usage and speed things up
slightly, but in its current form breaks type providers and :x. I am
stuck on working out what's wrong, so if anyone can see what the problem
is, please do let me know and/or fix it!
Strictness annotations

Improves execution time slightly by using Strict state where
appropriate, and strict constructor fields.
Make more fields strict
Uncommented the stuff in Decidable to see what happens.
Fix implicit arguments in syntax rules
Explicit instance to liftRel apparently makes Decidable work.
Merge branch 'master' of github.com:edwinb/Idris-dev
Fix logic in Executor

Thanks to David Christiansen for the hint!