The cofounder of Digg has a plan to modernize pinball machines with online leaderboards and achievements. But so does the world’s largest pinball company.