A tool for aligning multi-lingual texts