bugfix for disabled internal actions
./sim.py -l <limit> to specify a limit on the number of steps

defaults to 1000 (to prevent runaway SSH output on accident)
fix peterson.ioa

not sure if it works -- it never terminates and never prints 'leader'