In mass shooting's wake, Austin phasing in Sixth Street safe