Mettre à jour la documentation Docker

Suite à #2755 (closed), dans doc/server.org

• mentionner Docker Hub (y a-t-il d'ailleurs un endroit standard où on documente des Docks ?)
• vu tout ce qui a été fait pour %prod-server-lil, mettre à jour s'il y a eu des changements

Tout sera alors prêt pour #2950 (closed) :-)