Win32 : Making script.py executable in DOS box

[piet at cs.uu.nl]

Note that the trick via a .bat file may cause problems with parameters
containing = signs, and with I/O redirections.
-- 
Piet van Oostrum <piet at cs.uu.nl>
URL: http://www.cs.uu.nl/~piet [PGP]
Private email: P.van.Oostrum at hccnet.nl