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
Merge branch 'feature/columntracking' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-feature/columntracking
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