Improvements/changes in the Prover:
* Really not using Recio's prover when it's too slow (also in desktop)
* Simplifying to one "More" button


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