OpenZIS dockerfile and entourage