‘Tis the season for stuffing stocks – here’s what investors need to know if the UK stock market is open for trading on Christmas