Optionally use port in config file

If a port is specified in the config file, then use it in
`run_server.py`. Otherwise use 5000. This way, we can each have a
"unique" port that we use that won't conflict with one another.

See #76 for discussion that led to this.