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

@bsoetaer 
each_with_index is an instance method on matrix, which yields the value, the row number, and the column number.