Various changes concerning the automatic exposure time selection and the EDF file header