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.

 INCLUDE_DIRECTORIES(

   ${CMAKE_SOURCE_DIR}

   ${CMAKE_BINARY_DIR}

 )

 LINK_DIRECTORIES(${CMAKE_BINARY_DIR}/lemon)

 SET(DEMOS

   arg_parser_demo

   graph_to_eps_demo

   lgf_demo)

 FOREACH(DEMO_NAME ${DEMOS})

   ADD_EXECUTABLE(${DEMO_NAME} ${DEMO_NAME}.cc)

   TARGET_LINK_LIBRARIES(${DEMO_NAME} lemon)

 ENDFOREACH(DEMO_NAME)