Merge "Change the format of header-abi-diff config from .ini to .json"