Fixed warnings in doc comments.
Changed version to 2.0. Modified settings for code contracts. Added NuGet package.
More fixing of XML docs warnings.