Ubuntu Linux's new 'HUD' interface will do away with menus