adding options to the plugin GUI with sextante