gclear: also remove tags file
I noticed that gclear
didn't actually clear everything; it left the tags file lying around. While at it, I noticed that it used os.walk()
rather than shutil.rmtree()
for deleting the Git directory, and has done so since the functionality was added in f5b000ec7100. That seemed rather odd, and no justification was given, so I simplified the code.