Better GUI

[kosarev]

Presently, all out GUI is basically a GTK window with some key stroke handlers attached. When necessary, e.g., when we have to ask for a file name, all the interactive communication with the user is performed in the underlying terminal window, which works, but doesn't look and feel very appealing. In addition to that, we want, at some point, to have some navigation on recently used/saved snapshots and tapes, browse online directories, etc. That too requires some richer graphical interface comparing what we currently have.

This is an umbrella ticket for this work toward a better user interface.

• Decide which GUI technology we'd like to stick with #4 Decide which GUI technology we'd like to stick with