Added the initial matrix contracts file with a sample pre- and postcondition.
Added a precondition for diagonal?
Merge pull request #1 from isupeene/initial_contracts

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