The Porsche PDK dual-clutch gearbox celebrates its 40th, but do purists still feel they’re cheating on manuals?