Currently, the port number for a Prodigy server can be changed through
prodigy.json or the return config. It would be great if we could use an environmental variable to change the port, e.g.
PRODIGY_PORT=8081 prodigy .... This makes more sense when we have multiple Prodigy servers running from the same