#TH-7 Assemble the semantics in a thesis-ready form. Added tools and .tex required to kompile the whole semantics into a pdf divided into 3 chapters, with modules int he right order. The main file is k-java.tex.