Install binaries of Tophat.

Boost is problematic to build on some machines, so install
binaries for Tophat instead.