pkg/lib: doc correction
pkg/lib: fix `installed-pkg-names'
mrlib/terminal: generalize to allow an embedded terminal

That is, instead of always creating a new frame, allow the terminal
GUI to work as a panel.