remove compatibility for old Idris versions
revert usage of (endline endcolumn)
use endpos if available and different from startpos
fix indentation
Merge pull request #244 from hannesm/janitor

remove compatibility for old Idris versions