Extended pitchtools.get_named_pitch_from_pitch_carrier().

Now works on numbered pitch-class input.