Added documentation of PuTTY command-line options (derived from the source)