jenkins_integration: more small bug cleanup
jenkins_integration: fixing tracking checkout format (add remotes/ to remove ambiguity)
jenkins_integration: adding 'git submodule update --init' to vendor_git.sh
jenkins_integration: more small bug cleanup
jenkins_integration: reworked to do all repositories as subdirectories of workspace