make tools/mavgen.py executable