use Import-Package for Scala dependencies instead of org.scala-ide.scala.library bundle dependency
use Maven Scala libraries for OSGI builds instead of Scala-IDE ones;
scala-actors is standalone library now;
Merge branch 'dependencies-cleanup' into isabelle2013-osgi