A simple KDE plasma widget to turn on/off proxy setting