IDESlave support for setting the depth of interactive proof search
Merge pull request #1251 from david-christiansen/ideslave-proof-depth

IDESlave support for setting the depth of interactive proof search