Set the execute permissions on batch files.

Command used to prepare this patch
`git ls-files -z '*.bat' | xargs -0 git update-index --chmod=+x`