scide: prefs panel, skip creating config-file if path already exists
scide: prefs panel, add ability to delete config files
scide: interpreter settings: turn QPushButtons into QToolButtons

Also, do not force size constraints on the buttons.
scide: interpreter settings: use icons for buttons, if available