Updated Docker (improved builds + doc)