Boosting not supported for some demo problems.
make ctruth table scorer to report size correctly.
Use the boosting scorer in most problems, by default
Set the problem size correctly for enum scorers
tweak the unit test
Merge pull request #907 from linas/gmos

MOSES: polishing the boosting code