.gitignore: ignore include/config/*