looks like for #13 we just need build\DotNet.CodeContracts.props containing DontImportCodeContracts, and build\DotNet.CodeContracts.targets which then imports MSBuild\$(VisualStudioVersion)\Microsoft.CodeContracts.targets