git submodule summary: add --files option