Add /doc/{green,native} to .gitignore