Adds "Stars" link, as well as your user profile link, to the header alongside the existing "Pull Requests", "Issues" and "Gist" links.
当前为
Forked from: https://greasyfork.org/zh-CN/scripts/3139-github-com-extra-header-links
1. add "topics" link in header
