hexfloat: Deprecate to move out of the repo

This deprecates the hexfloat library as it is now located in the rust-lang
organization as a cargo package