khronos-update.py: add script to simplify update of Khronos headers & xml files