Remove obsolete gitwash_dumper tool

fixes issue reported by William Stein on the mailing list