Defined all-SVP-rule combining all-rule and SVP-rule

Is needed for testing syllogisms; together with https://github.com/opencog/opencog/pull/924