Add (-) function for Fin
IdrisDoc begun
Fixed IdrisDoc errors and added REPL :help descriptions
Changed IdrisDoc interface, updated command descriptions.
Merge remote-tracking branch 'upstream/master' into idrisdoc
Change to infix form
Add splitAt function for List
Add name of arguments in type declaration for proper documentation
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
Add semantic highlighting info for metavariables

This will enable the appropriate fonts to be used in IDEs such as idris-mode
Provide IDESlave output with docs and type

Now, IDESlave provides the docstring overview and type of names that it
decorates. The module Idris.Output was introduced to remove some cyclic
dependency problems.