gitignore: ignore the /patches directory