Revert "migrating to sbt 0.13.0" *for now*

This reverts commit 00e7af3176946fe4b855e2bf12b783aa6aee09b3,
because it crashes the nightly build:

https://scala-webapps.epfl.ch/jenkins/job/miniboxing-wip-nightly/76