getSpecClause may return multiple clauses later
on error, report the column, as well as the line number in the ideslave mode.

this was suggested in #312 and I think it is a good idea
Careful when unifying explicit arguments

Need to add to the "don't unify" list before applying, not after,
so that thigns which are unified by return type don't get filled
in prematurely.
Merge branch 'master' of github.com:idris-lang/Idris-dev
Add HPC files to .gitignore

HPC is used for coverage checking Haskell code
Merge pull request #730 from david-christiansen/feature/isomorphisms

Syntax for preorder reasoning over equality and isomorphisms
Merge pull request #731 from hannesm/report-column-on-warning

on error, report the column, as well as the line number in the ideslave ...
Merge pull request #735 from david-christiansen/gitignore-updates

Add HPC files to .gitignore
Add campsite rule to CONTRIBUTING.md
Merge pull request #740 from david-christiansen/campsite-rule

Add campsite rule to CONTRIBUTING.md
Add more isomorphisms

Specifically:
 * Congruence over products and sums
 * Congruence over Maybe
 * Demonstrate isos of Maybe using sum and unit isos