Tiny Linux distro that runs the entire OS as Docker containers