Support EXPOSE [port] ... for Docker

Docker allows the ability to share ports between containers, if the ports
are listed in the configuration for the Docker image. This commit adds a
dockerExposedPorts setting which adds the appropriate line.