Merged in jperon/vulsearch4 (pull request #1)
Update submodule refs
Bugfix in update-git-submodules
git co doesn't exist ; replaced by git checkout.
git co
git checkout
Update submodule refs
Bugfix in update-git-submodules
git co
doesn't exist ; replaced bygit checkout
.