I have an EEG signal that I want to truncate part of it in python. I do it successfully, but I don\'t know how to export the truncated signal as an "EDF" file again ..