Add instructions to compile GiNaC benchmarks