[m-dev.] for review: rewrite of termination analysis

[Christopher Rodd SPEIRS]

> 
> library/bag.m:
> 	Add a new predicate, bag__least_upper_bound.
> 
> 	Fix code that would do the wrong thing if executed by Prolog.
> 
> 	Remove spaces from the ends of lines.
> 
> library/list.m:
> 	Add a new predicate, list__take_upto.
> 
> library/set{,_ordlist}.m:
> 	Add a new predicate, set{,_ordlist}__count.
> 
These additions to the library need to be documented in the NEWS file.


Chris