Fixup SBT build

In ff8ec4bd190f6e8678150c06502cbfc77746c289, I added to build.sbt keys
depending on the sbteclipse plugin, without adding it to
project/plugins.sbt (I had it configured in my home). Fix that.