geogebra: add get-orig-source target