scripts to convert seissol output