Create Matrix.idr

Add module Data.Matrix to base.