These were the most traded stocks and options heading into Christmas, Interactive Brokers says