update workshop git url and sbt 0.13