Merge pull request #5 from olberger/master

Don't pass a --profile to gnome-terminal if none was set
Adding a Provides for sshmenu
Merge branch 'upstream' into debian
Checkpoint