Update switch_all_submodules_to_head_and_clean

+ add cleaning of potential temporary branches from remote server

Signed-off-by: Slávek Banko <slavek.banko@axis.cz>

switch_all_submodules_to_head_and_clean

@@ -72,6 +72,7 @@ updateModule() {
         git reset --hard HEAD
         git clean -dxff
     fi
+    git remote prune origin
 
     if [[ -e $PARENTDIR/$MODULE.gitmodules ]]; then
         if [[ $gituser == "anonymous" ]]; then