Execute coqtop differently on windows.

The coqtop fails to launch or exits on window; for example, preexec_fn is not supported on windows. This adds a special case that launches coqtop differently on windows. Tested on windows 7 amd64.