GeoGebra 4.0の概要