DroneDeploy sold to Procore for $900 million after never raising at a price above what it sold for — a rare feat of capital discipline that made the exit straightforward. Being on the right side of physical-world AI trends helped too: drones and robots are only starting to explode.