Another fix for the prover (using eliminate() if myeliminate() gives no output)

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@36602 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
#4569 fixed in web too.

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@36604 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
z-index of menu

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@36605 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
close popups before opening the menu

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@36606 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
#4572 - fix

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@36607 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
width menu

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@36608 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e