Add pointer to alex ott's cedet config.

Really just a test commit to fix github pushing issue.