Docs update: buildbatchrun.py

Fixed filenames in docs.