Add (-) function for Fin
Change to infix form
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
changed the first sentence of the readme
Added documentation for the effectful file operations.
Add splitAt to Vect
First attempt now at substitution to default args
Merge pull request #1022 from jfdm/documentation-effects-file

Added documentation for the effectful file operations.
Merge pull request #998 from jedesah/substract_fin

Add (-) function for Fin
Merge pull request #1023 from jedesah/vect_splitAt

Add splitAt to Vect
Make unique name generation much quicker

Especially in large do blocks with ambiguity and unnamed bindings. We
make names unique in advance to simplify lots of other stuff, but we
really don't want to generate-and-test loads of possibilities. This is a
bit of a hack, but it just makes sure we generate a name that's already
likely to be unique.
Merge branch 'master' of github.com:idris-lang/Idris-dev
Update version number
Merge pull request #1025 from jeffersoncarpenter/master

changed the first sentence of the readme
Fixed errors; partially complete default arg subs
Comment cleanup.
Another wee comment adjustment
Yet more comment cleanup