Simplify logic for setVerbose in REPL
Added inputIdrisListing command to load external files.
Cosmetic tweak in interactive editing
Corrects infinite stream syntax [start ..]. Closes
idris-lang/Idris-dev#706
Induction on nat working
Improvment on readability and usability of induction and eliminators.
Fixed reflection induction tactic
Readded solveAll
Remove superfluous function

maybeToList is merely an instance of toList
Added contributing guidelines.
Recursive constructor disjointness + cleanup
Merge pull request #701 from jfdm/contrib/idrislang.sty

Added inputIdrisListing command to load external files.
Merge pull request #711 from ahmadsalim/bug/fixenumfromsyntax

Corrects infinite stream syntax [start ..]. Closes
Merge pull request #717 from jfdm/contrib-guidelines

Added contributing guidelines.
Merge branch 'master' of github.com:idris-lang/Idris-dev
(Temporarily) Remove haddock tests from travis
Merge pull request #713 from ahmadsalim/feature/inductiontactic

Added support for induction tactic (works only for nonparameterized types insofar, requires eliminator for type)
Merge pull request #715 from Melvar/master

Remove superfluous function
Merge branch 'default-superclass-instances' of https://github.com/puffnfresh/Idris-dev into puffnfresh-default-superclass-instances
Merge branch 'master' of github.com:idris-lang/Idris-dev