Combined run.bat and run-gl.bat

run.bat now gives you the option of choosing OpenGL or the Software renderer.