Read 'lineapps' data from IBC

...since it's now saved there, and assuming we need to read it from
source means that we can't use interactive commands when loading from
ibcs. Fixes #1095.
Merge branch 'master' of github.com:idris-lang/Idris-dev