git_sha1_gen.py: fix code style