support for add-clause in IdeSlave
support for add-missing, make-with-block and proofsearch for ideslave