add scripts for conversion to various other tools' formats