Dashboard filter for GitHub

这会向 GitHub.com 仪表板页面添加一个活动过滤器菜单，以便用户可以选择只查看他们关心的活动。