Make the dmcs/gmcs scripts identical to the mcs script with an extra -sdk: argument, to avoid PATH problems, and to allow the windows installer to generate .bat files for them. Hopefully fixes #8813.