Currently the menu bar consists of a horizontal line - Example dropdown, Run, Debug, Prove - and a vertical line - Copy and download. We want to change that to make it simpler (related #87). We only ...