editor: Put the menu into a toggable toolbar.

This allows to hide the menu if wanted, and to gain some space if wanted.

Signed-off-by: Guillaume Clement <gclement@baobob.org>