Repository reorganisation

Move all the old files into the OLD_FILES directory. Update latex file of Specification Document (in previous MR I forgot to push the changes of SpecificationDoc.tex)

assigned to @fmorodei

added 1 commit

• 82978a4b - Changed SpecDoc version

Compare with previous version

merged

mentioned in commit 876f8b19