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.