A tool for converting plain text to *.dsl