GitHub Issues: Dashboard updates

GitHub Issues のダッシュボードが更新され、検索機能の強化や、New Issue ボタンの追加、自分に関連する issue を見つけやすいメニューの追加などが行われた。