Registry tool: we shouldn't print the "Available Plugins" header when there are no available plugins.

But [this](https://github.com/apigee/registry/blob/78104e259f77715942600acfeaf03846ee141cc7/cmd/registry/main.go#L95) always prints the header.