Removing obsolete commit_and_push.py script.