Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat Extension