Added review sheet
pulling from main OpenETCS branch
more references on Frama-C
ignore latexmk byproducts
introducing Frama-C plugins