Z3: replace CRLF patch with inreplace
R: RStudio can find R installed via homebrew

This caveat is no longer true.
See https://support.rstudio.com/hc/en-us/articles/200486138-Using-Different-Versions-of-R

Closes #736.