moved 'trigger_user_event' from device to event
added compatibility to new hpx futures