claferSMT now uses `python` or `python3` depending on the OS
Merge branch 'master' of https://github.com/gsdlab/ClaferSMT
fixed copying from Z3 and install
fixed make init and made script executable on linux
use python3 in make on Mac and Linux
fixed Make init and egg for Linux. Works both from src and egg.
fixed installation and running instructions. Added claferSMT.sh to make install.
Small bugfix for cprofiling
Merge branch 'master' into experimental
Added src files