Disabled ezminisat timeout feature for Win32
Disabled vhdl2verilog command for win32 builds
Not using std::to_string in ezsat (problems with mingw)
Disabled "cover -d" on win32
Fixed ifdefs for plugin unloading
Fixed MXE readline support
Added proc_self_dirname() for win32
Strip win32 executeables
Fixed win32 troubles with f.readsome()
Do not the 'z' modifier in format string (another win32 fix)
Fixed Makefile PRETTY=1 for MXE (win32) and EMCC (js) builds
Added "make dist" for mxe builds
Shrinked the copyright banner by 1 character
Renamed "log.cc" to "logcmd.cc" so there aren't two "log.cc" in the source tree
Added run_command() api to replace system() and popen()
Using stringf() instead of asprintf() in "abc" pass
Added make_temp_{file,dir}() and remove_directory() APIs
Various small fixes for non-win32 builds
Various Makefile changes for cross-compiling ABC for Win32
More win32/abc fixes