[#80253548-merge] now displays current_git_branch_name at time .roboconf.sh is sourced
[Finishes #80253548] Now only auto-updates submodules if Jenkins is configured to do so