Merge the hextools and encoding modules

It turns out, hextools were not about hexadecimal anymore…