Added CodeContracts and nuspec.