port=0 documentation for run_local_server()

[chrischase62]

Make clear in documentation that run_local_server(port=0) will automatically find a local port number not in use (and thus not in potential conflict). And consider making port=0 the default instead of 8080.