Execute coqtop differently on windows.
Merge pull request #25 from drozv/windows

Execute coqtop differently on windows.