Suggest move benchmarks out of Higgs source tree.

[lygstate]

It's too big, and making clone Higgs being time consuming.

[bFraley]

Not a bad idea if your resources are very limited in some way, but this issue isn't relevant to Higgs' development. If you want a Higgs source tree without the benchmark files, you could fork, edit accordingly, and clone your own.

[maximecb]

I think it's convenient to have the benchmarks in the same source tree.