emerge --sync: discard timestamp for partial sync
emerge --sync: discard timestamp after SIGINT
dohtml: optimize for bug #482290

Use os.makedirs and shutil.copy instead of spawning install, since
spawning install is much slower (especially with FEATURES=xattr).