Patch to Add PuTTY-like Right Click Paste to Gnome Terminal in Ubuntu