Add auto-complete-auctex to list of required packages