Don't run ip_ctloutput() for divert socket.

It was here since divert(4) was introduced, probably just came with a
protocol definition boilerplate. There is no useful socket option
that can be set or get for a divert socket.

Reviewed by: donner
Differential Revision: https://reviews.freebsd.org/D32608