LAS VEGAS — The future of tech often highlights the International CES. But among all the latest tech toys is a revival of a pastime from the days before video games. And that’s a good thing for Gary Stern, an old-school pinball gamer who has been making pinball machines for 66 years.