Added AUCTeX related settings.