Fix IDESlave reporting of ProofSearchFail
Merge pull request #1255 from david-christiansen/error-reflection

Fix IDESlave reporting of ProofSearchFail