Added .bat files to dev docs index.html