Update develop_server.sh to include port in message
Work around race condition in `make devserver`
Make ghp-import commit message more accurate