use properties file to specify where to find SPT, language under test, and tests