fixes to work with system sbt

* use system sbt if available
* use version 0.13.1 final of sbt
* don't use scalacheck or run tests if unavailable