emacs: add auctex extension