Update code to Scala IDE master, pre API work

We did some major work in the IDE to be able to provide cleaner APIs for the plugins. Before doing this, we made the code compatible with master at this point, and did a bit of cleanup.

We will be creating an other pull request soon, to adapt the code to the new APIs.