git reset --hard after removing the modules

git reset --hard after removing the modules

If src/gmock is removed after git reset --hard, it won't be populated if
it is a directory. It will only be populated if it is a submodule
because git submodule update --init follows.

Signed-off-by: Loic Dachary <loic@dachary.org>