Google formally launches Ingress after a nine-week live event series finishes.