.gitignore: add more executable names