[Bug 751] Review request: vboxgtk - A simple GTK frontend for VirtualBox