Add OpenTUSK repo in install_from_github script