update urls for atd and atdgen

Noticed that the urls in the opam files were pointing to repos marked as OLD. Updated URLs to point to new places.

Noticed this while looking into #592