node_manager_fkie: fixed duplicate detection of running and synchronized nodes
node_maager_fkie: the launch files are now loaded in a thread, so they don't block