Refactored static analysis support

[maximmenshikov]

This is a pull request created mostly for discussion.
The static analysis support is reimplemented using asp/simple library. All reports are passed back to RuC.

There are a few issues:

1. The biggest one is related to handling of source locations. Unfortunately, it is hard to use internal source location matching mechanism, so the location is taken directly from the analyzer, which can do it intelligently.
2. Analysis is actually performed twice: first by RuC, second by static analyzer using RuC. That's weird.
3. The library is currently not open-source. This is to be reconsidered as the project was naturally intended to be open-source.