nested constraint systems
Question framework
more nested constraints
xml output
inlined version of SLR3+; shape analysis seems to be broken: disabled
more wonderful solvers
Merge remote-tracking branch 'upstream/master'
clone linux headers before running tests
test script should warn if bench is missing (some tests which include
<linux/...> fail, some don't)