It’s official: Google buys mapping app developer Waze

Google is buying the crowdsourced mapping app developer Waze, in a move geared toward adding more real-time navigation tools to its own Maps software, the company announced Tuesday.