IdrisDoc begun
Fixed IdrisDoc errors and added REPL :help descriptions
Changed IdrisDoc interface, updated command descriptions.
Merge remote-tracking branch 'upstream/master' into idrisdoc
Tiny tidying up
Added IdrisDoc hooks from the command line.
Added IdrisDoc hooks from the command line.
NameTrie added to create map of names for easy lookup
Rewrote implementation so far to be much smarter
Package paths may now be in other locations than current directory
Merge remote-tracking branch 'upstream/master' into idrisdoc
Progress: IdrisDoc is now able to generate output to the necessary files. Actual structured content is TODO
Merged with master
Merge remote-tracking branch 'upstream/master' into idrisdoc
Simplified some lookaheads and grammar rules for
lambda expressions and other internal expressions.

Names do not expect lchar '.' but '.' for simplfied naming.
Improves parsing of function application expressions
Comment on grammar fix [ci skip]
Merged with master
Remove Ord constraints from SortedMap toList
Remove ":m" as a shortcut for ":module" in help as it
is used for ":metavars".
Remove argument for ":metavars" as it doesn't take any.