Batch name changed

Changed from "Batch File" to "Better Batch File" to avoid a clash with
the built-in language