PR #7: Update gitignore