Port ScalaZ3 to Scala 2.10.2 and sbt 0.12.2

Implement the necessary changes, mainly in sbt, rework library directory
For now it only includes 64b-unix z3.