New scalaZ3.dll version (release)

Here is the new scalaZ3.dll version.
Sorry if this pull request takes previous commits with it. I tried to update from remote but it did not change anything.