substring function for UTF8 strings

Provide a UTF8-aware padRight function

This can then be used in the testing routines that want pretty output
that might include non-ASCII characters.

Add translate function (analogous to String.translate) to UTF8 module.

Add some simplistic code for decoding and encoding UTF8 strings. Also
add even more naive "character" categorisation functions to
UnicodeChars.