isns: Add docs for deregistering discovery domains.

Without this update to the isnsadm help message and
man page, it can be difficult to figure out how to
deregister a registered discovery domain.