Cleanup and overhaul the bogus dynamic library loading code in
InteractiveUI.  Bugs fixed:

  - when linking in extra_libraries from a package,
    we now search library_paths in addition to the default
    dlopen() paths.

  - the path-searching machinery for dynamic libraries specified
    on the command line was broken, it didn't work unless the library
    was found on the first path in the list.