Add rename_gimple.py (and test_rename_gimple.py)