Add disposable analyzer

[SergeyTeplyakov]

Use MustDispose and other attributes.
Some of them should be built-in, like 'GetEnumerator' is explicitly has 'MustDispose' attribute.