Fix "server didn't start" error message in develop_server.sh

It has port 8000 hardcoded into it, which is confusing when the server runs on
another port.