Standalone MSBuild integration of CodeContracts (by Microsoft Research)