[m-dev.] int.m name changes

[Thomas Charles CONWAY]

> Hi Tom,
> 
> Any problems with this one?
> 
> Estimated hours: 0.5
> 
> Use nicer names for some recently introduced library predicates.
> 
> library/int.m:
> 	Rename int__int_min as int__min_int, int__int_max as
> 	int__max_int, and int__int_bits as int__bits_per_int. 
> 	This change is for aesthetic reasons.
> 
> compiler/lookup_switch.m:
> 	Change calls to int__int_bits to instead call int__bits_per_int.
> 

This looks fine, but we should put Prolog versions in int.nu.nl.

Thomas
-- 
Thomas Conway               				      conway at cs.mu.oz.au
AD DEUM ET VINUM	  			      Every sword has two edges.