Merge pull request #6401 from gilles-peskine-arm/config.py-python-version-development

Add a note that config.py must remain compatible with Python 3.4