SSH port

Hey Hans

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.