Raw Strings

Stream: lean4

[François G. Dorais]

I really want @Kyle Miller's excellent rust-style raw strings PR lean4#2929 to get merged soon! If you also want this, please thumbs up the PR and the associated issue lean4#1422. Thanks!

This is just to put a little additional pressure on Lean4 maintainers for a highly desirable feature!