Additions/installer/linux: look for konsole before gnome-terminal, assuming that konsole will not be installed on a pure gnome system
Additions/linux/installer: shell script refactoring