v0.2.13: Create GLR parser at build time (#294)

* Added script to build ahead of time parser during make

* Changed script for nix compatibility

* Changed `exec_init` to build the glr parser. Building KMIR just checks it exists.

* Set Version: 0.2.11

* formatting

* Integration tests now build glr parser

* add gen-parser option to kbuild

* make format/check happy

* replace manual build of glr parser for nix

* Changed `exec_init` to `exec_gen_glr_parser` with improvements

* add --verbose for logging

* Set Version: 0.2.13

* Removing unnecessary python function that builds glr parser

* removed line that explicitly builds glr parser

---------

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: yanliu18 <yan.emma.liu@gmail.com>