An app which turns Ingress notifications into android broadcasts