On Vibrato in Irish Music