optimization of disk space for Docker