Warn when PATH Nu version differs from managed Nu

[linear-code]

Emit a new doctor finding when PATH Nu and the managed Nu pin are present but report different versions, with updated tests and CI coverage.

[linear-code]

NUM-100