`addr2line` prints addresses in hex if given in decimal

[catamorphism]

$ wasm-tools addr2line --generate-dwarf lines foo.wasm 255 512
0xff: main foo.c:21:9
0x200: main foo.c:25:9

It's a bit unclear if this should be considered a bug or not, but I'm leaning towards thinking that if someone provides the addresses in decimal, they probably want to see the results in decimal.

[alexcrichton]

Sounds reasonable to me to echo back the same input!