Flagged Out-of-Date Comment: cppadcodegen-git

MarsSeed flagged cppadcodegen-git out-of-date on 2023-07-13 (UTC) for the following reason:

Pls add git tag based version and declare it in provides.