How to convert an ISO to a Docker image