Playing with MS Code Contracts

Adding a sample project to play around with Microsoft Code Contracts
http://research.microsoft.com/en-us/projects/contracts/