This adds an activity filter menu to GitHub.com dashboard page so user can choose to see only the activities they care about.