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

@bsoetaer 
Okay, sorry about my lack of knowledge, damn ruby got me again