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
Some helper comments that'll be removed later
Merge branch 'master' of github.com:edwinb/Idris-dev

Conflicts:
	src/Idris/ElabDecls.hs
	src/Idris/ElabTerm.hs
TacImp script handling to various functions.

Namely, expandParams and the various 'namesIn' funcs. Some of the latter
could possibly use some review -- see FIXMEs in AbsSyntaxTree.hs
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
First attempt now at substitution to default args
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
Fixed errors; partially complete default arg subs
Comment cleanup.