Allow user-defined ssh options in dssh.
Allow user-defined ssh options in dssh.

This also includes corrections to the usage information, and
streamlines defining a custom username (rather than the
current user)

10000TB/galileo,10000TB/galileo