Default included CEDET

Probably temporary.