Fixed the dependent library problem for scalaZ3

This needed a check to load libz3 if we are on windows.
Thanks Tiago for spotting that.