 
v1.3.3
------
switch to use clasp version 3.0.5
remove hclasp and classes GringoHClasp

v1.3.2
------
no longer user --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