Remove cut & paste copies of non-free code

.. rather than using this implementation of isinf with dubious
provenance, we can depend on __builtin_isinf, which compiles to
an inline instruction sequence on i386, x86_64, and armhf.
Merge pull request #2 from jepler/remove-nonfree-code-harder

Remove cut & paste copies of non-free code