sbinary needs sbt 0.13(?)

Since https://github.com/harrah/sbinary/pull/7 was merged,
can build all subprojects.

Don't understand why this worked locally but not in PR validation.
Failure example: https://scala-webapps.epfl.ch/jenkins/job/pr-scala-integrate-ide/4123/console