SSH port

Hey

I had a case where a SSH port different than 22 is used, so I had to adjust the rmux script a bit to handle ports.
I thought I'd use getopt because there might be some more options in the future!? The script's now ready for that.

Update:
Actually it's only the 986e634, but I don't know how to restrict the pull request to that commit..