heres a man of jollity the doyly carte opera company lyrics music