autojson.py: Add licensing information