In top-level README, adds line saying that the server listens on port 5000.