Reverting accidentally uploaded change from [25901] --- this will fix buildggb50


git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@25918 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
Use PROVEDETAILS=0 by default


git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@25922 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
[giac] more robust way to use ggbans:= when calling Giac (eg CFactor)

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@25923 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
Adding support for giac JARs (no webstart creation yet)


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