win32: use subsystem windows on windows (and not console)

This makes the hammer tools/mkwinapp.ml kind of obsolete
win32: bring back the coq icon in the coqide binary