Add latex snippets as submodule
Be smarter about where auctex comes from