switched to sbt 0.13, and gutefrage repository