A flexible archiving platform for optimization benchmarks - View it on GitHub