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

@bsoetaer 
I thought it should be a precondition because if it is then an the precondition is violated then no other code needs to be executed. If it is inside the function then other code should probably be executed after the function such as the post condition code even when it does not need to be.