Slider refactoring part 4

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@33422 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
Slider refactoring part 5

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

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@33424 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
Attempt to detect constant polynomials for ProveDetails (giac)

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