Retag docker images for regular builds as /hive/hivemind, removing

Dan Notesteinrequested to merge
retag-minimal-instance-images into develop

the /instance from the end, to match how we name tagged releases

Merge request reports