The state of sbt 0.13, sbt server, and sbt 1.0

in