Early matrix/vector support

 a reimplementation of the numpy matrix class, with:
 - slightly different printing
 - convenient element-wise functions
 - overloaded <= for constraint generation

Resolves #8.
I am under the impression that numpy.array is much more commonly used than numpy.matrix. Do we have a good reason for preferring matrix?