Added span in parser state
Merge branch 'master' of https://github.com/idris-lang/Idris-dev into feature/parserspanning

Conflicts:
	src/Idris/ParseHelpers.hs
Prepared data structure of FC for spanning, and added the span of the
last token parsed to Idris
Fixed error reflection bug after change of sourcelocation definition
Merge pull request #965 from ahmadsalim/feature/parserspanning

Preparation for spanning of source code in parser