Improve wait_wirecloud_ready
Improve wiring error badge style
Improve small details of the header style
Fix problem opening the widget/mashup wallets if they were open before switching to other workspace
Fix workspace merge support