updated the minikanren-scala code base to run on scala 2.10.1; updated Makefile/added dependencies

updated the makefile and added dependencies, so that making and testing
this project is largely self-contained.  in the long run, it may be
nice to use SBT for this.
   Makefile, check.sh, libs/clojure-1.5.1-slim.jar (new),
libs/scalacheck_2.10-1.10.2-SNAPSHOT.jar

updated source code to correspond to current Scala implementation
syntax and libraries.
   src/info/hircus/kanren/{MiniKnaren,Subst}.scala
   src/info/hircus/kanren/examples/SendMoreMoney.scala

src/info/hircus/kanren/tests/{Branching,Math,Subst,Unify}Specification.s
cala