The new terminal at the Dallas airport is much, much more pleasant than the other three. Especially when you’ve got three hours to kill between flights.