After Pokemon Go put augmented reality on the radar of a mainstream audience, developers have intensified their efforts to find useful applications for it. Google, for example, added AR navigation to Maps, overlaying arrows on the world in front of y…