added auctex to list; customized PDF viewers for OSX and linux