qlfile repositories point to internal GrammaTech git

[hinoue]

From the qlfile:

git cl-arrows git@git.grammatech.com:research/cl-arrows.git
git elf git@git.grammatech.com:research/elf.git
git testbot git@git.grammatech.com:synthesis/testbot.git
git trace-db git@git.grammatech.com:research/trace-db.git
git asdf-encodings git@git.grammatech.com:synthesis/asdf-encodings.git

Are all of these open source? Can we move them to github, or point them to other forks instead?
Also, can we remove testbot?

[eschulte]

Resolved in commit 7050609. Thanks