Fixing ProveDetails -> Prove rewriting for OGP

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@24471 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
Make sure we load SPECFN when needed

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@24472 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
change names from "mobile" to "touch" (e.g. mobileGUI --> touchGUI)

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