Straight off the editor's desk from the News That Surprises No One Department comes more info on Porsche's coming double-clutch manumatic gearbox. (That means one clutch handles the odd gears while a separate clutch toggles the evens.) According to the UK's What Car, they're calling the tranny, "Porsche Doppel…