The civic-tech giant is growing again with the purchase of Detroit-based Arx, which makes data tools used by police departments.