The choice of Marcus W. Brauchli as the new top editor of The Washington Post represents a generational change.