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

comments updated