Add executable rights for executable (bash) files

I hope these are the last ones.

Change-Id: I281531d8f90932b2cb4a8a99554d4b80607fbaee