[GUI] Allow individual colors for pedestrians
For evaluation it might be helpful to display each pedestrian in another color. This could be set within the settings toolbar, by adding a check box "random colors". The idea behind is to see more easily if pedestrians are e.g. overtaking others.