Added a mechanism to load CEDET configs