Tools for benchmarking Spoofax projects