Set the executable bit for scripts in the repository

This was actually done on Windows using

$ git update-index --chmod=+x <file>

and allows us to simplify the build instructions a bit.