DC’s bus routes are being redrawn—and renumbered. Instead of starting from scratch, building on the existing numbers could ease the transition.