also changed MuxFrame to actually derive from GtkFrame: This makes it easier to use MuxFrame and GtkFrame interchangeably.
preparing for the move to a separate Mux-library