Streamlined vpn-gui/kill_gui.sh script.
Graceful termination would have required a call to sleep before kill -9.
This would have needlessly slowed down the GUI restart process.