Tweak auto-parens behavior of double quote typed in a string
so that it results in the string split into two strings or,
in case part of the string is already selected, three strings,
where the selection is retained in the latter situation.
Also fix close parens behavior in interactions and comments.