Debug option in mingw batch file

Debugging can be set in the mingw batch file, resulting in compilation
to a program that runs with or without a console (for debugging
messages).