Company autocompletion for AUCTeX