Antidote Add option to enable/disable amuse-gui