Use sbt-0.13-M1, made everything recompile again
Added fixed attributes for scalacheck