Fix permissions of some files in the repository

These files aren't supposed to be executable. For reference, the command used to find them was:

```sh
git ls-files -z | xargs -0 -J % find % -type f -perm ++x
```