auctex: Use new-style option definition and update homepage url.