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)
Fixed malformed haddock comments
Generate Haddock as a part of testing
Merge remote-tracking branch 'jfdm/haddock' into haddock-on-test
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
Merge branch 'feature/eliminators' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-feature/eliminators
Update result of reg028

Name generation order has changed for 'with' clauses, due to more uses
of getName.
Merge pull request #688 from david-christiansen/haddock-on-test

Haddock on test
Add a test_c target for testing C back end only