Add information on how to install auctex