Educational Distributed Algorithm Simulator