Mandelbrot Explorer: make a button to change devices

issue #32

Reviewed by: NO BODY