Fix issue #41: repo.is_dirty() on empty repository with stashed files