Add syntax for Agda-style reasoning over preorders
Add a representation of isomorphisms and some useful base isos
Mention preorder reasoning in CHANGELOG
Add test for preorder reasoning syntax
getSpecClause may return multiple clauses later
List modules in dependency order
Add Syntax namespace to cabal file
Fix stupid typo
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