Add execution bit to godel.py