some small changes in ClaspSolver
fix for duplicate benchmark stopping, safer benchmark dumping
new helper for learning different input tuples in external learning
Merge branch 'master' into ps