.gitignore: exclude the three tracked files