support github pull request labels

Allow to match trigger on adding or removing github labels. Also
reporter can add or remove labels.

Change-Id: Id385b92590e252c283ba3ebe1ecfd33b34469a2e
Co-Authored-By: Jesse Keating <omgjlk@us.ibm.com>
9 files changed