Attempt to fix ProveDetails by removing \" in web version

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@26808 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
Some code cleanup for Botana's prover

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