Move Kubernetes integration dev menu item

Follow up to !1415 (merged), to make the location of Kubernetes-related developer docs on the global nav more consistent with how other product features are treated.

CC @ash2k