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

@bsoetaer 
No problem at all.  Ruby isn't an easy language.