docs: kernel_abi.py: add a script to parse ABI documentation