add github pull request builder for Jenkins