GNU Dr. Geo Installation script