.gitignore: ignore tags files and additional output binaries