Support selecting labels for pull requests

[annervisser]

When creating a pull request, it should be possible to add labels to it.
When editing a pull request, it should be possible to add labels and remove existing labels.