Description:
GNOME Terminal plugin fail to launch GNOME Terminal 3.8.1 by profile name.

Additional info:
gnome-terminal 3.8.1-1

Steps to reproduce:
0. update GNOME Terminal to 3.8.1 from official repo.
1. create a profile with any name, for example, 'profile_foo'
2. enable GNOME Terminal plugin in GNOME Do
3. launch GNOME Do and type 'profile_foo', press Enter key
4. GNOME Terminal is not launched

The bug was caused by GNOME Terminal 3.8's changes on command line options. '--window-with-profile=' is no longer used.
We just need to modify a line to fix this:

@@ -73,7 +73,7 @@ namespace GNOME.Terminal
public void Open ()
{
try {
- string args = string.Format ("--window-with-profile=\"{0}\"", Name);
+ string args = string.Format ("--window --profile=\"{0}\"", Name);
Process.Start ("gnome-terminal", args);
} catch (Exception e) {
Log<ProfileItem>