Allow to only push dev-tagged images to Docker Hub.

[gouttegd]

This PR adds a new main target to the top-level Makefile: publish-multiarch-dev. This target builds multi-architecture images of odkfull and odklite,¹ tag them with a dev tag, and publish them to the Docker Hub.

Inside the dev images, the ODK has version number $(VERSION)-dev, to allow users who may use alternatively a dev image and a released image to know which one they are using at any time.

With dev tagged images (obolibrary/odkfull:dev), the obolibrary/odkdev image becomes redundant and this PR removes it. The build-dev target, which uses to build the odkdev image, now builds odkfull:dev.

closes #648

¹ Building and pushing odklite:dev is necessary even if we only need odkfull:dev, since odkfull is built on top of odklite.

[matentzn]

Awesome! Truly amazing. Thank you so much @gouttegd!

if I run make publish-multiarch-dev today, are you confident I wont accidentally overwrite the current latest? I would like to try it right away.

[gouttegd]

I couldn’t test that (the problem with the -multiarch targets is that by definition they suppose pushing someone to the Docker Hub — not something you can test on your own), but see for yourself the core of the publish-multiarch-dev recipe:

docker buildx build $(CACHE) --push --platform $(PLATFORMS) \
                --build-arg ODK_VERSION=$(VERSION)-dev \
                -t $(IM):dev \
                .

There’s no chance this could cause the publication of an image tagged with anything else than dev. If it does, it’s a bug in docker buildx, and I’ll decline all responsibility. :D