Include prebuilt cpphs binaries

Needed for building type-eq
Merge branch 'cpphs'

Allows type-eq to build (as needed by #33)