Fix docsFor and printDef when file fails to load
Fix docsFor and printDef when file fails to load

Now the drawback is possible extra time spent spawning another idris
process, but at least the old process gets cleaned up.

idris-hackers/atom-language-idris