.gitignore updated: ignore executables