Make pasting inline into <script> tag possible

The browser interprets the occurrence of the literal "</script>" inside of the
body of a script tag as the end of the script, so the leading "<" must be
escaped by replacing it with \x3c