eclipse.ini: add GC options