marina-xml2.bsh: add explicit TDI/TDO port names