[E-ACSL] start user manual

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

src/plugins/e-acsl/doc/refman/main.tex

src/plugins/e-acsl/doc/support/MakeLaTeXModern

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

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

src/plugins/e-acsl/doc/userman/cealistlogo.jpg

src/plugins/e-acsl/doc/userman/eacslversion.tex

src/plugins/e-acsl/doc/userman/frama-c-book.cls

src/plugins/e-acsl/doc/userman/frama-c-cover.pdf

src/plugins/e-acsl/doc/userman/frama-c-left.pdf

src/plugins/e-acsl/doc/userman/frama-c-right.pdf

src/plugins/e-acsl/doc/userman/macros.tex

src/plugins/e-acsl/doc/userman/main.pdf

src/plugins/e-acsl/doc/userman/main.tex