Using revlex in Botana's method (prover) instead of revgradlex in Singular

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@33373 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
Reverting [33373] since Simson1 is slow with revlex

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