Initial Import
Work with current version of z3.
Housekeeping: scalatest jar, wrappers.
scala 2.8, scalatest 1.2
scala 2.9, scalatest 1.6.1
port to sbt and remove ant.
Move tests into test area.

scala 2.9.2:
Passed: : Total 91, Failed 0, Errors 0, Passed 91, Skipped 0
scala 2.10, scalatest 2.0.M5.

[info] Passed: : Total 91, Failed 0, Errors 0, Passed 91, Skipped 0
Last bits for 2.10.
Added README.
Merge branch 'master' of /s/comfusy into dev
Removing non-core code.
Everything in its place
Reinstated 2.10 version after restarting on lara git repo
Bring the tests too
Fixing some easy deprecations.
The rest of the deprecateds.
Merge branch 'dev'
Combined READMEs.
scala 2.10.3, scalatest 2.0