Minor changes

1. upgrade cedet from 1.0.1 to version 1.1
2. disable auctex by default