Added column name to source
Added 'srand' to Effect.Random
Have --ideslave print errors properly

Before, it was using the Show instance, whereas now it calls the
pretty-printer for errors.

Fixes #549.
Make 'parameters' a keyword such that parameters block doesn't parse as
a function declaration. Fixes idris-lang/Idris-dev#546 .
Merge pull request #554 from ahmadsalim/feature/fixparameters

Make 'parameters' a keyword
Merge pull request #553 from david-christiansen/issue/549

Have --ideslave print errors properly
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
Merge branch 'feature/columntracking' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-feature/columntracking
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.
Merge branch 'master' of github.com:edwinb/Idris-dev
Add a final unification step

Since solving matched implicits may help solve remaining problems.
Merge pull request #557 from ahmadsalim/feature/fixindent

Addition of indentation property support.
Merge pull request #558 from ahmadsalim/feature/notypesaskeywords

Removed types from keyword list
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