#3299 the beginning

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@25551 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
#3299 changed from toString to jsonToString

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@25552 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
Prover fixes:
* Non-free circle centers are not used for fixed points
* NDGs are not computed for alternative Botana

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