Update batchsub.py

header added