Andy Rubin, co-founder and former leader of Google Inc.’s Android mobile business and the current head of its nascent robotics effort, is leaving the Internet company, the company said Thursday.