Definition of Jack Ketch

What does the word Jack Ketch mean?