Project improvements. Adding Scalacheck and Sbteclipse.