Removed `batch.sh`.

* batch.sh: Removed because it is no longer used.