Make strings fully unicode

Strings are now sequences of 32-bit unsigned integers
("runes") instead of plain char arrays. When constructing
a string, the UTF-8 is decoded into such a sequence.
To print a string, it's encoded as UTF-8 again and
printed.

In the future it might make sense to cache the encoded
UTF-8 version of the string, as strings are immutable.