Switch docker registry to harbor

Description:

Once we have Harbor available and know the url as well as login credentials (probably as CI variables) we need to switch to store our images there. Modify the CI pipeline or the docker build script to achieve this.

Acceptance Criteria:

• Images are pushed to Harbor registry.