added --https and --ssh arguments for use with setup_workspace.sh scripts
added git pull on existing repos when running setup_workspace.sh scripts