 
v1.3.2
------ 
no longer use --stats option in asp.py

v1.3.1
------
removed number of models argument from run method of GringoClasp
number of models can now be determined like a regular clasp option