Pretty-print hex literals in parser AST using lowercase "abcdef".

This makes the Cryptol.Parser.AST pretty printer consistent with the
one for values in Cryptol.Eval.Value.