The city says it paid $700,000 for a “law enforcement search engine” from the maker of ShotSpotter. But are police using it? No one will say.