GIT: ignore `ltl2vl-verilog.v` and `uct.uct`
GIT: ignore `ltl2vl-verilog.v` and `uct.uct`

These files are generated when running tests.

tulip-control/tulip-control,tulip-control/tulip-control,tulip-control/tulip-control,tulip-control/tulip-control