Added entailment with regression predicate entailsreg/3.

The *-reg.pl files match the old ones except that they use entailsreg/3
instead of entails/3.

Interestingly, regression is slower for props 7/8/9 or so in KR2014.