Setup docker in GitHub actions

Building and publishing docker images § Docker documentation: Configure GitHub Actions How to publish a docker image into the Github package registry ....