Docker for teaching programming