Port ScalaZ3 to sbt 0.12

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