Replacing every [Let] by ['let] as it conflicted with a Coq notation (TLC need to be updated).
Adding test info on parser unicode issue.
Cleanup old interim files.