[Typer] [Git][monnier/typer][master] * src/prelexer.ml (prelex_string): Don't use a temp file