benchmarks gui: select planners, nb of runs and timeout

This will add the possibility to select the planners to benchmark, number of runs and timeout from the benchmarks GUI.