Flagged Out-of-Date Comment: btor2tools-git

a821 flagged btor2tools-git out-of-date on 2022-03-20 (UTC) for the following reason:

github discontinued the git:// protocol. Please use git+https:// (ref: https://github.blog/2021-09-01-improving-git-protocol-security-github/)