Initial shell contract.  Still requires input validation for the precondition.
Command syntax definition.
Merge pull request #4 from bsoetaer/shell_contracts

Shell contracts. Merged #4.