clasp 3.1.1: Wednesday, 12th November 2014
* LparseReader now handles "external statement"
* fixed: low-level config interface failed to correctly handle successive changes of "opt-bound"
* fixed: wrong completition nogoods with option "--no-gamma"
* fixed regression in rule simplification (regression in 3.0.x)
* fixed regression in "--configuration=jumpy"
* fixed regression in handling of modifiers true/false in domain heuristic