Moved the short example from the Contract4J website to Example.md here.