Added data options
Eliminators working for some type - still experimental. Will create a way to make them work with the elim type class
Fixed testing failures I accidentally introduced when showing a better naming for machine generated names (so that I could better debug)
Tutorial changes.

+ Tutorial is now developed in a separate github repo.
+ Moved examples to top-level
+ Added binary of tutorial for v0.9.10
Fixed malformed haddock comments
Merge pull request #685 from jfdm/tutorial

Tutorial changes.
Generate Haddock as a part of testing
Merge remote-tracking branch 'jfdm/haddock' into haddock-on-test
Some interactive editing fixes

Case splitting on 'case' expressions fixed, and 'with' now
generated more neatly.
Merge branch 'master' of github.com:idris-lang/Idris-dev
Replace global-scope helpers finToNat and finToInteger with functions whose type signatures match the names.
Add FinZAbsurd and FinZElim.
Replace Prelude.Vect.take and Prelude.Vect.drop with versions of a saner type signature.
`showCG` should be recursive and not use `show`
Use `showCG` instead of `show` when loading package names

`showCG` is for showing names, but for code generation

`show` is for showing names, but human readable

At the moment these do the same for namespaces but we probably
shouldn't rely on that.
AbsSyntaxTree `showName` should use `showCG`, not `show`
Replace Prelude.Vect.intersperse with a saner-typed version. Make intersperse' a proper helper function (non-exported).
Replace partial `showDeclImp` function with total `dumpDecl`

Remove original `dumpDecl` and replace call to `dumpDecls` with call
to `showDecls True`.
Report top level class resolution failure

Rather than the innermost - prevents strange error reporting when
chasing parent classes that have no hope of resoloving.
Merge pull request #692 from puffnfresh/show-changes

Show changes