ScalaZ3 for Scala 2.10
Fix dependency to Scalatest
Remove failing tests over unsupported features and spurious output
When not within a jar, we load libscalaz3.so in CWD/lib-bin, for sbt test
This branch is for 2.9.x