(*) added eclips plugin | set sbt version

- added the eclipse plugin for sbt to the project
- added config to build.sbt that the plugin will try to get source to
  used libraries
- set sbt version to 0.13.0 in project/build.properties