Basically done, might need a few improvements.

Make spotless/clean remove *.str *.tok files.