Add new switch in ensembles.py generator and fixed a bug in shell_utilities
Merge branch 'master' of https://github.com/etamponi/resilient-protocol