Translation of LLBC into Coq

Building and executing

1. To define charon as a git submodule: git submodule update --init

2. To build: dune build

3. To run with LLBC file file.LLBC: dune exec bin/main.exe file.LLBC