The contextual menu inkoved by mouse-3 is now simplified: it contains only
the strategies and the provers that are marked visible in the preferences