`--make-shell-scripts` now creates batch files (".bat") on Windows, while it still creates ".sh" files on Linux. (`--make-batch-scripts` was removed; it was never fully implemented anyway.)

Implementation includes suggestion by Jirka Borovec (@Borda)

Discussed with @kaspermarstal