Standalone MSBuild integration for CodeContracts (by Microsoft Research)