properties files and related resources automatically updated from ggbtrans

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@23587 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
add integral() method to GeoNumeric too

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