.gitignore: ignore executables