Add a multibyte HTML document benchmark
encodeUtf8_2: add fast paths for x86_64 and i386

This helps performance a lot in most cases: up to 2x faster, in
fact. The exception seems to be Japanese, which is slowed down by
about 10%.