IDESlave support for setting the depth of interactive proof search