These days we often take finding directions for granted. Easy smartphone apps like Google GOOGL +1.16% Maps and Waze all but make paper maps and standalone GPS devices obsolete. Why then hasn’t mapping found its way indoors?