What is the smallest / most efficient docker image for production use? - Deno