NullValueAnalysis: Implemented JetBrains.Annotations NotNull and MayBeNull attributes.
NullValueAnalysis: Implemented out/ref annotations.
NullValueAnalysis: Fixed do...while statement handling.
Merge pull request #332 from mono-soc-2013/luiscubal-annotations

NullValueAnalysis: Implemented JetBrains.Annotations NotNull and MayBeNull attributes