Rewrite kodkod as a docker-compose autoheal + auto-update helper#1

IRus merged 2 commits into

mainHeapy/kodkod:mainfrom

feat/compose-autoheal-updaterHeapy/kodkod:feat/compose-autoheal-updaterCopy head branch name to clipboard