Add new commands to top level module
Add new commands to top level module

SAdams601/HaRe,RefactoringTools/HaRe,kmate/HaRe,kmate/HaRe,RefactoringTools/HaRe,RefactoringTools/HaRe,SAdams601/HaRe,SAdams601/HaRe,kmate/HaRe