proposal: have label filter in issues page UI (something like github) #438

currently the way to filter issues by a specific label is to have something like label:bug but there is no way to know what labels are available a list of labels of repo and ability to filter on the basis of that would be helpful.