tell docker to publish the port

need to publish internal port 8080 to some port in the 'docker run' command so that the curl example commands work

Signed-off-by: Mark McCahill <mark.mccahill@duke.edu>