Add auto-complete-auctex