Update Matrix.idr

Finish adding Data.Matrix to base.