use ppx to generate gdbmi protocol extractors
start use ppx-generated extractors