Switch to debian as the base image and move make_iso into dockerfile

Using debian as the base makes the images much smaller.  Let me know what you think