As Argo AI shuts down, will its driverless technology leave Austin's streets?