Update sbt to 0.12.2.

Also removed the devel option because devel is now 0.13.0-SNAPSHOT,
and it's gonna be changing constantly.