If there’s any room left on your Christmas cookie platter, here’s a festive peppermint and chocolate cookie to add to it.