some scripts to run srewrite/dotty on dotty tests