Test ScalaZ3.dll deployment under windows

Previously was only testing z3 deployment
Also added changes to Build.scala to build import library