The biggest, most-experienced Internet gaming operator—PokerStars—was shut down by the Justice Department for a spell