Modify leader election protocol to not rely on n-parallel processes.

n-parallel process are not supported by mCRL2 anymore. mCRL2 does not
produce proper error-messages in this case, and will run out of
memory.