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.
Merge pull request #71 from sschuberth/master

Set the executable bit for scripts in the repository