Remove pre-compiled binaries

For some reason, we have two pre-compiled binaries checked in for
the agrep and football benchmarks. These are not actually used
(we'll build our own, as usual). Presumably they were committed by
accident.

Author: nikic