Added the function isFinite(), and replaced the calls to finite() with it.
This was necessary because finite() is not a standard function. Neither can
we use its standard counterpart isfinite(), because it was introduced only
in C99, and therefore it is not supplied by all C++ implementations.

 EXTRA_DIST += \

 	tools/Makefile

 if WANT_TOOLS

 bin_PROGRAMS += \

 	tools/dim_to_lgf \

 	tools/lgf-gen

 endif WANT_TOOLS

 tools_lgf_gen_SOURCES = tools/lgf-gen.cc

 tools_dim_to_lgf_SOURCES = tools/dim_to_lgf.cc