Use github fetcher for company-auctex recipe (see #1829)