src/minisketch/ci

• cirrus.sh
• linux-debian.Dockerfile