Add an obprop tool which can print UTF-8 strings properly, for our users.