Build Docker Images on release

[OlivierBouchoms]

• create a CI pipeline that can be activated manually
• input is a version number
• Creates a GitHub tag and release for the version number
• Includes the changelog and built images