This patch adds a simple UTF-8 decoder at 'os/include/util/utf8.h' along with a test at 'os/run/utf8.run'. Fixes #2717, related to issue #2716