glade frontend: created new status area in the buttonarea. Refactored set_header() to properly handle these style changes.

The colors will not be used anymore in the header.
Note: status updating when opening already touched pages is broken, as is the on_inst mode.