* Add static linking to witness generator, prover and verifier. * Remove DLL bundling in witness generator for Windows' build.