Add auto-complete-auctex as submodule