20130703 tech: Pincus steps down as Zynga CEO