Benchmark visualization

This will add a new button to the queries tab that allows users to load benchmark log files and visualize the results. A file dialog is displayed and the user selects a log file belonging to a set. All the files of that set will be parsed looking for results of reachability and collision-free reachability. The goal colors will be updated accordingly (green: collision-free reachable, yellow: reachable in collision, red: not reachable)