Speed up docsFor and printDef. by reusing options
Speed up docsFor and printDef. by reusing options

These two commands don't strictly need the current file to be loaded
but this approach avoids restarting the idris process when the current
`compilerOptions` change.

Drawback: If the file fails to load, then no docs or definition gets
printed.

idris-hackers/atom-language-idris