Remove the batch script

Use the PowerShell script instead. It's better because you don't
have to press Ctrl+C twice to stop the server.