bump max CEDET version to 10.0