Added Microsoft Code Contracts support
Merge branch 'feature/code_contracts'