Eliom 4.0.0
Eliom: removing useless eliom.install
Update descr
Merge pull request #2159 from balat/master

Eliom 4.0.0