making all ci tools executable
Merge pull request #2762 from sebv/improved-ci

Making all ci tools executable