docker: add instructions to user guide