Panto is as much a part of Christmas in Britain as turkey, tinsel and mince pies. Pantos is short for pantomimes.