Remove includes of deleted half_float.hpp
Merge pull request #142 from bernstein/0.9.5

Remove includes of deleted half_float.hpp