Docker: A (re)introduction and control systems case study