Edinburgh’s theatres have always done a brisk trade around Christmas thanks to panto season.