Customize command window

[GoogleCodeExporter]

I replace cmd with mintty. It would be good to have the hability to change 
the "cmd /c start cmd" for something else.

Original issue reported on code.google.com by legege on 1 Sep 2009 at 7:19