Push docker images to docker hub

One-sentence description

Push docker images to docker hub

Why?

Two reasons:

• All our other docker images can be found on Docker Hub
• Now we are public, we do not need the authentication of the Gitlab Registry.

Current implementation

We push to the Gitlab registry.