Make history.py executable.