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.

 EXTRA_DIST += \

 	demo/CMakeLists.txt \

 	demo/digraph.lgf

 if WANT_DEMO

 noinst_PROGRAMS += \

 	demo/arg_parser_demo \

 	demo/graph_to_eps_demo \

 	demo/lgf_demo

 endif WANT_DEMO

 demo_arg_parser_demo_SOURCES = demo/arg_parser_demo.cc

 demo_graph_to_eps_demo_SOURCES = demo/graph_to_eps_demo.cc

 demo_lgf_demo_SOURCES = demo/lgf_demo.cc