Heptapod CI: pushing to Heptapod Registry

Part of a general effort to depend onto Docker Hub as little as possible.

We could in a later move mirror the Ubuntu base image, too, but that would entail keeping it up to date, so this is too far fetched for now.

But we will if a release is blocked by the rate limits.