ohexstreambuf(3bobcat) on Linux

The text d18c2fa3e90d, as Debian 9 (Stretch) shipped it.

Writes characters written to an ostream as hex values

ohexstreambuf(3bobcat) on Linux now