Lower case seems to be more common for UUID

Lower case seems to be more common for UUID

From a brief look around the Internet, it seems UUID is more commonly
written in lower case (still with the funny dash pattern, though.)  Stick
with that convention.

Also, unify upper-vs-lower-case hexadecimal string production.