scripts to convert seissol output to mseed