Refactoring of parser to Trifecta, documenting and updating some
items/fixing some issues.

Test 002 commented because of temporary disabling of TT quotation
support.

Regression Test 003 and Test 020 have updated expected values (which
fixes previously erranous line number report from old parser).
Merge branch 'master' of github.com:edwinb/Idris-dev