convert to Github v3 API, use labels, add command line options, fix UTF ...

This was used to migrate 563 bugs to OpenGrok (https://github.com/OpenGrok/OpenGrok/issues/55)