Libadalang: Optimizing the LKQL JIT compiler at AdaCore — Paris, France