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