update workflow tutorial - ssh keys for master pull

Added a note regarding the need for SSH keys to be registered with github in order to use the given pull command, and the option to use https instead.