Translating recordings (typescript) from 'script' (of util-linux) to XML for further processing