An introductory workshop to Docker