Move to GitHub Complete for Tools

Our transition of the Tools repositories from the Linux Foundation to GitHhub is now complete. You may start using the repos there.