Remove obsolete file github_token from .gitignore