Add a .gitignore for src/man/