only show mbeddr menu when in mps or mbeddr ide
allow to disable mbeddr menu

currently by creating a magic file in the home dir. Later this should be a preference setting in the plugin