Added the initial matrix contracts file with a sample pre- and postcondion

@bsoetaer 
Ruby's matrix class throws an error if the matrix is not square. The matrix being square should either be a pre-condition or when we code the solution the function itself should check for the matrix being square and just return no if it is not square.