fixed doc
tweaking debugging infrastructure
tweaking debugging infrastructure
extended api of library locator
The library locator thunk can now return #t as first value, rather
than an input port; it means the library has already been loaded and
added to the internal collection of installed libraries.  When this
happens the library can still be rejected.