removing gitwash_dumper

we don't use this file, and it had an offending race condition for
makedirs
Merge pull request #5750 from ivanov/raec-cnodiiton

Remove obsolete gitwash_dumper tool