adding a description to use Andrews new merging to protocol
adding one more degree of robustness for option stable to obtain a hammer that can slay nearly everything
this is a config that maximizes merging for em
Merge pull request #217 from roger-wolf/master

Small adaptations in limit.py and sm-protocol.txt