upgrade to sbt 0.13.0-RC5
ENSIME is now available for sbt 0.13