Report success or failure in IDESlave mode while loading a file
Merge pull request #1 from david-christiansen/ideslave-prover

Report success or failure in IDESlave mode while loading a file