Elpafy auctex

This MR includes a series of changes that convert auctex to use dh-elpa so that it follows elpa convention and hence becomes compatible with use-package/elpa convention.