Splitted replace_many() into several parts, so that the same code can be used...

Splitted replace_many() into several parts, so that the same code can be used by multi_string_replace_program().
optimize_replace() now supports a few more cases.

Rev: src/builtin_functions.c:1.614