Austin’s most expensive home, a 9-acre lakefront estate, just sold to an unknown buyer as tech workers rush to the Texas city