Where does the word carol, as in Christmas carol, come from?

Answer here.