Preliminary support for monitors

The support is very easy, since we do not consider multi-threading.
Hence, the only thing we do with monitor instructions is to check
that their parameters are not null.
Renewd GUI for Soot analysis