Add module Data.Matrix to base
Update base.ipkg

Add Data.Matrix to base.ipkg
Merge pull request #1679 from edwinb/partial-eval

Partial evaluation improvements
Set reduction limits on non-total functions in PE

Otherwise partial evaluation can run for ages...
Merge branch 'master' of github.com:idris-lang/Idris-dev
Update version
Update base.ipkg

Fix missing comma in base.ipkg
Update Matrix.idr

Include ZZ
Restrict PE for class dictionaries

This is a temporary fix until I write a more appropriate evaluator for
PE purposes, though it does the job fine.
Also fix specialisation under Delay.
Add missing case in checkUniqueKind (fixed #1606)
Replace a sequence of <|> with choice.

Replaces `a1 <|> a2 <|> ... <|> an-1 <|> an`
with `choice [ a1, a2, ..., an-1 ] <|> an` in Idris.REPLParser
where `choice` is from package `parsers` module `Text.Parser.Combinators`.

On my machine with ghc 7.8.3 this lead to a decrease in memory usage
during compilation of this module from >7GiB to ~400MiB.
Bump lens upper version bounds
Fix Prelude.Algebra.VectorSpace

Fixed definition of Prelude.Algebra.VectorSpace, which was defined incorrectly.
Merge pull request #1687 from RyanGlScott/master

Bump lens upper version bounds
Update Matrix.idr

Instantiate algebraic classes for Vect's of those classes
Update Matrix.idr

Reuse Semigroup, Ring operations for vector addition, multiplication
update test/reg050/expected
update test/reg050/expected [2]
VerifiedSemigroup, VerifiedMonoid for List

* No unification failure for VerifiedSemigroup anymore

* Add VerifiedMonoid (List a) instance

Note that the instances need definitions from further down in the file
and are thus moved closer to the end of the file.
make VectorSpace a subclass of Module