For EBD cluster users, good description of how to connect PCs to Linux cluster using Putty and Cygwin