Refined the sbt instructions.
Moved to SBT 0.12.4