All git submodules have a .git, but in recent versions of git this can
be a file linking to the real .git directory or a directory. Relax our
check to just look for the file or directory as that is all we need.

Fix bug 13135.

Change-Id: I0df34cc521274c416acd7949da101d24147ee2d2