Update default SSH port.

22 is back in vogue.