claferSMT now uses `python` or `python3` depending on the OS
Merge branch 'master' of https://github.com/gsdlab/ClaferSMT