Leader election
Merge branch 'development' of https://github.com/maldonadojoan/jrl-jmc.git into development
Enhanced leader election