Support real types + numerical stability fix in NS (#254)

- Real types are supported by appropriate inicialization.
- A feature of the XTI spanning tree structure is removed to ensure
numerical stability (could cause problems using integer types).
The node potentials are updated always on the lower subtree,
in order to prevent overflow problems.
The former method isn't notably faster during to our tests.

if WANT_TOOLS

bin_PROGRAMS += \

	tools/dimacs-solver \

	tools/dimacs-to-lgf \

	tools/lgf-gen

dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh

endif WANT_TOOLS

tools_dimacs_solver_SOURCES = tools/dimacs-solver.cc

tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc

tools_lgf_gen_SOURCES = tools/lgf-gen.cc