doc/.gitignore: new file