rename .txt files to .robot