1: Added C and LLVM files showing LLVM capacities to handle structures.
2: Started an Isabelle formalisation of LLVM-IR, aiming to specify the translation in Isabelle.