sbt 0.12.2.

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

Closes #17162.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>