[Request] Add alias `batch` for DOS syntax highlighting

[xNul]

Is your request related to a specific problem you're having?
Batch is the official name of the file format which contains commands to be executed by the DOS command-line interpreter, but it can't be used as an alias for DOS.

https://learn.microsoft.com/en-us/previous-versions/windows/it-pro/windows-server-2003/cc758944(v=ws.10)

https://en.wikipedia.org/wiki/Batch_file

The solution you'd prefer / feature you'd like to see added...
Add the alias batch for DOS syntax highlighting. The alias bat already exists, which is a shortening of batch, so I think batch should be a shoe-in.

highlight.js/SUPPORTED_LANGUAGES.md

Line 75 in 5697ae5

| DOS | dos, bat, cmd | |

[joshgoebel]

Need to figure out what's going on with #4380 as it relates here.