Lenovo still makes ThinkPads, but the golden era—the X220, T420, and X61—are being revived by Linux enthusiasts and typists.