Creating a new repository for SmartThings Groovy infrastructure for model-checking.