added a section about docker