.gitignore: ignore a.out