Forcing sbt version, re-upgrading sbteclipse plugin.

This means abandoning drone.io for now. :(
Added contains and insert operations to compact int set.