regexp: adding re-replace-with.
html.entities: switch to using re-replace-with.
docs: change ``{ $quotation "( x -- y )" }`` to ``{ $quotation ( x -- y ) }``.
interval-maps: some inline.
regexp.compiler: slightly faster with t/f check.
benchmark.regexp: longer benchmark.
unicode: some performance improvements to category checking.