From what I gather, double-clutching is not as necessary with today's modern gearboxes as it was when synchros weren't a given. It definitely takes more time so really couldn't be faster. I do a 'lazy man's' double clutch ie downshift into the next gear and blip the throttle before letting the clutch out. This matches revs as well as putting less strain on the gearbox. Sounds cool, too