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)
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)