Don't use a low port number for ServerShell.

Using port 80 requires sudo on many installations. Far too many
applications use 8080, or 8000 so use something different.
Merge pull request #3391 from markstory/server-shell-port

Don't use a low port number for ServerShell.