Fixing Giac code for ProveDetails (case false)

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@36530 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
Optimize GeoQuadric3DLimited and fix translation bug

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