* init.el: cedet config