[POPL] Make .gitignore non-executable