use service_nodes_count in metrics; corrects some bugs with visualisation; add trace for when a node crashes;
Merge branch 'master' of https://github.com/BeyondTheClouds/SimgridInjector