Add datatype for reflected errors
Work around parser bug
Added flag for error reflection extension
Add parser and tests for parser for error reflection extension
Add test031 to cabal file
Merge remote-tracking branch 'upstream/master' into error-reflection

Conflicts:
	src/Idris/Parser.hs
Merge pull request #501 from david-christiansen/error-reflection

Basic infrastructure for error reflection in compiler