OpenProject GitHub integration

OpenProject connects with GitHub. With the integration, the planning and specification of a software project will be much more closely integrated with the development.
The benefits of the integration are:

* Link from OpenProject to GitHub
* Link from GitHub to OpenProject
* Pull request status update
* GitHub actions status update
* Tracking of code development