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
Allow resolving metavariables from ibcs
Efficiency of coverage check

Instead of checking fully elaborated definitions, make sure we only
check cases which the programmer has written explicitly - other cases
are ruled out by unification. Fixes #975

I had thought I had done this a while ago, but it turns out I didn't do
it properly! This should make many pathological coverage checking
examples significantly quicker.
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
Merge remote-tracking branch 'upstream/master' into idrisdoc
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