improved gnome-terminal instructions, closes wayneeseguin/rvm#3153, thanks @PragTob