Rev for Gnome Shell 3.8, borrowing heavily from Ssh Provider plugin

JavaScript isn't my strong suit, but this version is working on my Ubuntu 13.10 system.  I'm pretty sure the changes are not backwards compatible.