Create a GitHub pipeline for automatic Docker builds

[rensPols]

There should be a pipeline that automatically creates a Docker image as soon as something is merged to the main branch.