Added scalaz3.dll for x64 + instructions

I added the instructions for windows x64 to compile scalaZ3 but also released my dll.
This does not work with cygwin anymore so we are free from cygwin1.dll