remove standalone CEDET, update configurations

The embedded CEDET is actually newer than the standalone.