fix a bug
Merge branch 'gringo4'
merge gringo4 branch
fix gringo3 support
update bootstrap-windows.sh
fix a bug in GringoGrounder
update bootstrap-windows.sh
fix GringoGrounder
set minimum boost version to 1.54
upgrade to clasp 3.0.5