Reorganized the top right menu area

Instance-wide options have been moved from the user menu to a new toolbar. The
logout button has been moved to the user menu. The whole area uses fewer colors
and is less visually busy.