Updated idrislang.sty to ensure singlespacing code blocks
More documentation for runnning effects.
Allow induction on terms instead of simply names
Added tactic for case analysis.
Also, induction now work on expressions instead of simply names.
Final cleanup/check of case tactic implementation
splitOn and replaceOn for List
Fix Show for HVects

It depended on Show for Strings using id.
Merge branch 'master' of https://github.com/idris-lang/Idris-dev into feature/casetactic

Conflicts:
	CHANGELOG
Replace use of findElem with search tactic
Correct a doc
Merge pull request #1302 from ahmadsalim/feature/casetactic

Added tactic for case analysis.
Added CmpNat view and fixed type of take/drop

In general, it works better to have a function on input types rather
than output types. The CmpNat view can be used to get inputs to
Vect.take and Vect.drop into the right form.
Merge branch 'master' of github.com:idris-lang/Idris-dev
Remove reg008

Functions its testing is now part of the library
Remove unnecessary test
Add explicit -DHAS_PTHREAD

...until someone works out how to do this properly in cabal.
Merge pull request #1304 from Heather/patch-1

splitOn and replaceOn for List
Merge pull request #1308 from jfdm/latexpkg-updates

Updated idrislang.sty to ensure singlespacing code blocks
Merge pull request #1309 from jfdm/effects-documentation

More documentation for runnning effects.
Merge pull request #1310 from Melvar/update-hvect

Update HVect