[e-acsl] + doc for memory model

src/plugins/e-acsl/doc/memory_model/Makefile

src/plugins/e-acsl/doc/memory_model/article.pdf

src/plugins/e-acsl/doc/memory_model/article.tex

src/plugins/e-acsl/doc/memory_model/biblio.bib

src/plugins/e-acsl/doc/memory_model/table_article.dat

src/plugins/e-acsl/doc/memory_model/timeBTn.dat

src/plugins/e-acsl/doc/memory_model/timeBTo.dat

src/plugins/e-acsl/doc/memory_model/timeList.dat

src/plugins/e-acsl/doc/memory_model/timeNone.dat

src/plugins/e-acsl/doc/memory_model/timeTree.dat