Docker workshop

Prepare for this workshop by following the installation instructions from the official "Getting started" with Docker tutorial.