added auctex as submodule