Added column name to source
Added 'srand' to Effect.Random
Fixed flaw with FC dependency by making FC equality always return true.
If any fc equality is needed just use FC' fc to convert. Fixes
idris-lang/Idris-dev#550
Changed the Idris version back, fixed the IBC version instead
Addition of indentation property support.
Fixes indentation property of arguments to tactics such that they are
parsed correctly. Fixes idris-lang/Idris-dev#551.
Removed types from keyword list
Removed keyword from CoreParser too
EXPERIMENTAL: Solve more implicits by matching

If any implicits remain after elaboration, attempt to solve them by
matching.
Note: This may be a mis-feature. Some implicits may be solved which are
not unique - we should consider whether this needs to be turned on
explicitly, or if there should be a warning.
Add a final unification step

Since solving matched implicits may help solve remaining problems.
Bring CHANGELOG up to date
Add exception handler to main

The main function now handles exceptions, printing them to the console. Fixes
specifically. Thus, main's exception handler decorates the message with
"Uncaught error".
Add error object for failure to load file
Add CaseSplit.hs and Command (not yet implemented)

Just the skeleton - intention is that case split on a variable and
a clause will produce a list of new clauses, with dependencies expanded,
when that variable is split.
Java RTS Version bump to include isNull,
Maven POM gets installed correctly
Reenable Java tests in Travis
First implementation of :cs (case split) REPL command

:casesplit [var] [term] will give a set of well-typed patterns which
result when the variable var is split in the term.

Implemented by Idris.CaseSplit.split, and really intended for use within
in IDE.
Record internal name of 'with' functions

Can look up by source file and line to get the internal name
and the number of 'with' arguments, so thatJ case splitting has enough
information to generate syntactically correct cases.
Extend split/splitOnLine to cope with 'where/with'

Main interface is via 'splitOnLine'. Give a source line, and a variable
name, provides information of what each variable should be updated to in
resulting pattern clauses, in the following form:

  [[(name_a1, pattern_a1), (name_b1, pattern_b1), ...],
   [(name_a2, pattern_a2), (name_b2, pattern_b2), ...],
   ...
   [(name_an, pattern_an), (name_bn, pattern_bn), ...]]

where the name expands into 'n' possible patterns, and the names
'name_a', 'name_b' etc need to be expanded to 'pattern_a', 'pattern_b'
etc in the resulting patterns (due e.g. to dependency).

An interactive editor should probably just use this information to do
a textual replacement on the original pattern, expanding into 'n' new
patterns.
Update CHANGELOG
Support PTerm serialisation properly

Need this for interactive support, so we know what the internal form
of an expression is on each source line.