delete (apparently) unused translator/repl/proofs
script for counting lines of code

plus some of the data (in comment at bottom)
the script might be buggy... eyes welcome.