Renamed Slider to LabeledRealValuedSlider and put it into new gui/widgets folder