Update gitwash_dumper.py

comments updated
Merge pull request #3384 from ugurthemaster/master

comments in tools/gitwash_dumper.py changed (''' to """)