update repo-clean.sh script. actually get clean repo now

scripts/repo-clean.sh

@@ -16,7 +16,7 @@ rm -rf $RDIR/toolchains/esp-tools/riscv-tests/build.log
     pushd $RDIR/generators/constellation
     if [ -d espresso ]
     then
-	git submodule deinit espresso    
+	git submodule deinit -f espresso
     fi
     popd
 )
@@ -25,3 +25,11 @@ rm -rf $RDIR/toolchains/esp-tools/riscv-tests/build.log
     git config --local status.showUntrackedFiles no
     popd
 )
+(
+    pushd $RDIR/generators/cva6/src/main/resources/vsrc
+    if [ -d cva6 ]
+    then
+	git submodule deinit -f cva6
+    fi
+    popd
+)