added a eo_ledpulser_DeInitialise()