Install Docker (currently Debian-only from Debian repository).