Merge "doc: use docker to build documentation" into integration