Fixed the batch

Batch file now works with both bukkit and vanilla. All that is needed
now is a way to generate the batch file from within python.