Patches Z3 binary to not depend on new GLIBC.
Patches Z3 binary to not depend on new GLIBC.

Drops Cygwin support, as we can't maintain it in future.
Closes #31.

sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt